Expand description
Functions for the Definitional Equality Cache.
Provides the core cache operations: construction, lookup, insertion, eviction, statistics, and a higher-order memoizing wrapper.
Functionsยง
- with_
cache - Memoizing wrapper that checks the cache before invoking the checker.