def counted

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

import Base

159def counted(-K: Data, -V: Data, step: Step<K, V>, +tracked: Bool, hit: Bool) -> Step<K, V>:
160  Out{State{cap, m, order, life, counts, cb}, item, flag, evs} = step
161  Out{State{cap, m, order, life, hit_counts(counts, tracked, hit), cb}, item, flag, evs}