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