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