def step_cache
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/src/cache.bend as Cacheimport Base
240def step_cache(-K: Data, -V: Data, s: Step<K, V>) -> Cache<K, V>:
241 Out{c, item, flag, evs} = s
242 c
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/src/cache.bend as Cacheimport Base
240def step_cache(-K: Data, -V: Data, s: Step<K, V>) -> Cache<K, V>:
241 Out{c, item, flag, evs} = s
242 c