class buffered_raw_out_channel : ?buffer_size:int -> raw_out_channel -> raw_out_channel
?buffer_size:int -> raw_out_channel ->
raw_out_channel
buffer_size