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