def removal_counts

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/src/cache.bend:70

import Base
import bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/types/model.bend as T

70def removal_counts(m: T.Metrics, capacity_eviction: Bool) -> T.Metrics:
71  T.Counts{i, e, r, h, s} = m
72  match capacity_eviction:
73    case True{}:
74      T.Counts{i, Word.inc(64n, e), r, h, s}
75    case False{}:
76      T.Counts{i, e, Word.inc(64n, r), h, s}