Class Main.Type.OOChannel.char_input_channel_of


class char_input_channel_of : char #obj_input_channel -> char_input_channel
Convert a character input channel to a polymorphic input channel