object
method abort : unit -> unit
method close_in : unit -> unit
method input_record : unit -> string
method peek_record : unit -> string
method plasma_cluster : Plasma_client.plasma_cluster
method pos_in : int
method to_fd_e : Unix.file_descr -> unit Uq_engines.engine
end