Class type Uq_engines_compat.cache_t

class type ['a] cache_t = object .. end

method get_engine : unit -> 'a engine
method get_opt : unit -> 'a option
method put : 'a -> unit
method invalidate : unit -> unit
method abort : unit -> unit