~/jendhub

def miss_after_remove

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

import bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/src/cache.bend as Cache
import Base

163def miss_after_remove(-K: Data, -V: Data, step: Step<K, V>, +tracked: Bool) -> Step<K, V>:
164  Out{c, item, flag, evs} = step
165  counted(K, V, Out{c, item, False{}, evs}, tracked, False{})

Uses (3)

Used by (1)