~/jendhub

def store_after_evict

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/src/cache.bend:119

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

119def store_after_evict(-K: Data, -V: Data, code: String, key: K, value: V, deadline: T.Int64, step: Step<K, V>) -> Step<K, V>:
120  Out{c, item, flag, evs} = step
121  store(K, V, c, code, key, value, deadline, flag, evs)

Uses (4)

Used by (1)