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