~/jendhub

def step_events

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

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

244def step_events(-K: Data, -V: Data, s: Step<K, V>) -> List<&2, T.LruEvent<K, V>>:
245  Out{c, item, flag, evs} = s
246  evs

Uses (3)

Used by (1)