class char_input_channel_of : char #obj_input_channel -> char_input_channel
char #obj_input_channel ->
char_input_channel