| UnderInspection
| Notfound
val get_candidates: cache -> Cic.term -> Cic.term list
-val cache_add_library:
- HMysql.dbd -> ProofEngineTypes.proof -> ProofEngineTypes.goal list ->
- cache -> cache
-val cache_add_context: Cic.context -> Cic.metasenv -> cache -> cache
-
+val cache_add_list:
+ cache -> Cic.context -> (Cic.term*Cic.term) list -> cache
val cache_examine: cache -> cache_key -> cache_elem
val cache_add_failure: cache -> cache_key -> int -> cache
val cache_add_success: cache -> cache_key -> Cic.term -> cache
val cache_add_underinspection: cache -> cache_key -> int -> cache
val cache_remove_underinspection: cache -> cache_key -> cache
+val cache_reset_underinspection: cache -> cache
val cache_empty: cache
val cache_print: Cic.context -> cache -> string
val cache_size: cache -> int