BatIO.input ->
object
  method close_in : unit -> unit
  method input : Stdlib.Bytes.t -> int -> int -> int
end