Plasma GitLab Archive
Projects Blog Knowledge

Class Netchannels.buffered_raw_out_channel


class buffered_raw_out_channel : ?buffer_size: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.

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml