Method new

leanr-eval-lite/src/cache.rs:19–28

Create a new cache with given capacity

(capacity: usize)

impl NormalizationCache {
    /// Create a new cache with given capacity
    pub fn new(capacity: usize) -> Self {
        Self {
            cache: FxHashMap::with_capacity_and_hasher(
                capacity,
                BuildHasherDefault::default()
            ),
            capacity,
            access_order: Vec::with_capacity(capacity),
        }
    }

    /// Get cached WHNF result
    pub fn get(&self, term: TermId) -> Option<TermId> {