class type record_reader = object .. end
method pos_in : int
The ordinal number of the record that will be read next. Numbers
start at 0
method input_record : unit -> string
Reads one record, and advances the cursor. May raise End_of_file
method peek_record : unit -> string
Reads the record, but does not advance the cursor, i.e. the
next peek_record or input_record will read the line again.
May raise End_of_file.
method close_in : unit -> unit
Releases resources (e.g. closes transactions)
method abort : unit -> unit
Drops resources - intended to be used for error cleanup
