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

Plasma	GitLab	Archive
Projects	Blog	Knowledge