class char_obj_output_channel_of : char_output_channel -> [char] obj_output_channel
char_output_channel ->
[char]
obj_output_channel