class char_obj_input_channel_of : char_input_channel -> [char] obj_input_channel
char_input_channel ->
[char]
obj_input_channel