class type char_output_channel = object .. end
object
end
method output : string -> int -> int -> int
string -> int -> int -> int
method flush : unit -> unit
unit -> unit
method close_out : unit -> unit