object   method close_out : unit -> unit   method flush : unit -> unit   method put : '-> unit end