object   method close_out : unit -> unit   method flush : unit -> unit   method output : string -> int -> int -> int end