('a, string, 'b) IO.output -> object method close_out : unit -> unit method flush : unit -> unit method output : string -> int -> int -> int end