OOChannel.char_obj_output_channel_of
Convert a character output channel to a polymorphic output channel
method close_out : unit -> unit
If close_out cannot output all buffered objects, flush raises Failure
close_out
Failure
method flush : unit -> unit
If flush cannot output all buffered objects, flush raises Failure
flush
method put : 'a -> unit