class type record_reader =object..end
method pos_in : intmethod input_record : unit -> stringEnd_of_filemethod peek_record : unit -> stringpeek_record or input_record will read the line again.
May raise End_of_file.method close_in : unit -> unitmethod abort : unit -> unitmethod to_fd_e : Unix.file_descr -> unit Uq_engines.engineto_fd_e esys fd: The remaining records are written to fd.
The position pos_in is not updated. The length of the records
is not checked except for a few records that are crucial for
interpreting the boundaries of the bigblocks.
While the engine is running the other method must not be called.
method plasma_cluster : Plasma_client.plasma_cluster