'a BatIO.output -> object method close_out : unit -> unit method flush : unit -> unit method put : char -> unit end