Class Net_channels.channel_of_input


class channel_of_input : IO.input -> rec_in_channel
Create an input Netchannel from a Batteries System.IO.input channel