def hit_counts

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/lemmas/src/cache.bend:149

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

149def hit_counts(m: T.Metrics, +tracked: Bool, hit: Bool) -> T.Metrics:
150  T.Counts{i, e, r, h, s} = m
151  match tracked hit:
152    case False{} unused:
153      T.Counts{i, e, r, h, s}
154    case True{} True{}:
155      T.Counts{i, e, r, Word.inc(64n, h), s}
156    case True{} False{}:
157      T.Counts{i, e, r, h, Word.inc(64n, s)}