object method abort : unit -> unit method close_in : unit -> unit method input_record : unit -> string method peek_record : unit -> string method pos_in : int end