Plasma GitLab Archive
Projects Blog Knowledge

Class Netchannels.input_channel

class input_channel : Pervasives.in_channel -> in_obj_channel
Creates an input channel from an in_channel, which must be open.

The method pos_in reflects the real position in the channel as returned by Pervasives.pos_in. This works for both seekable and non-seekable channels.

The method close_in also closes the underlying in_channel.

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