('a, 'b, 'c) IO.output -> object method close_out : unit -> unit method flush : unit -> unit method put : 'a -> unit end