Original bug ID: 5938
Reporter: @dbuenzli
Assigned to: @alainfrisch
Status: resolved (set by @alainfrisch on 2016-12-07T17:20:51Z)
Resolution: suspended
Priority: normal
Severity: feature
Version: 4.00.1
Category: standard library
Monitored by: @dbuenzli

Bug description

I think it would be nice to have something like:

Sys.io_buffer_size : int
Unix.io_buffer_size : int

so that we can adjust the size of our buffers to those of the runtime system without having to hardcode values.

Thanks.