and returns true or false according to the fact that uri is or
is not in the cache
Cic.InductiveDefinition _ -> Cache.add_cooked uri obj
| _ -> raise OnlyPutOfInductiveDefinitionsIsAllowed
;;
Cic.InductiveDefinition _ -> Cache.add_cooked uri obj
| _ -> raise OnlyPutOfInductiveDefinitionsIsAllowed
;;
+
+let in_cache uri =
+ try
+ ignore (Cache.find_cooked uri);true
+ with Not_found -> false
+;;
val restore_from_channel : ?callback:(string -> unit) -> in_channel -> unit
val empty : unit -> unit
val restore_from_channel : ?callback:(string -> unit) -> in_channel -> unit
val empty : unit -> unit
+(* for filtering in tacticChaser *)
+(* NEW *)
+val in_cache : UriManager.uri -> bool