The cache resource allows forward and backward chaining rules to be added to the proof cache. The resource uses the types defined in the Tactic_cache module.
type cache_rule = Forward of tactic frule | Backward of tactic brule type cache = tactic Tactic_cache.cache type t resource (cache_rule, cache, t) cache_resource