Plasma GitLab Archive
Projects Blog Knowledge

Class Netchannels.lift_raw_out_channel


class lift_raw_out_channel : raw_out_channel -> out_obj_channel
This class implements the methods from compl_out_channel by calling the methods of raw_out_channel. There is no additional buffering.

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