'BatIO.output ->
object
  method close_out : unit -> unit
  method flush : unit -> unit
  method output : string -> int -> int -> int
end