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