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