class char_output_channel_of : char #obj_output_channel -> char_output_channel
char #obj_output_channel ->
char_output_channel