class buffered_raw_out_channel :?buffer_size:int -> ?pass_through:int -> raw_out_channel ->
raw_out_channel
This class adds a buffer to the underlying raw_out_channel
.
buffer_size
: The size of the buffer, by default 4096.pass_through
: If the write request has at least this size,
and the buffer is currently empty, the buffer will be bypassed.
Defaults to max_int
, i.e. it is off.