Up
Next
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