object
  method abort : unit -> unit
  method get_engine : unit -> 'Uq_engines_compat.engine
  method get_opt : unit -> 'a option
  method invalidate : unit -> unit
  method put : '-> unit
end