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