Extlib.IO.input -> object method close_in : unit -> unit method input : string -> int -> int -> int end