new output separator output_obj creates the new output channel object OOChannel.obj_output_channel which receives Unicode characters and converts line separators (all of CR, LF, CRLF, NEL, LS, PS) to separator.
method close_out : unit -> unit
If close_out cannot output all buffered objects, flush raises Failure
method flush : unit -> unit
If flush cannot output all buffered objects, flush raises Failure