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