Skip to main content

Module functions

Module functions 

Source
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.