def read_found

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

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

185def read_found(-K: Data, -V: Data, +c: Cache<K, V>, code: String, now: T.Int64, +tracked: Bool, found: Maybe<&2, T.Entry<K, V>>) -> Step<K, V>:
186  match found:
187    case None{}:
188      counted(K, V, Out{c, None{}, False{}, Nil{}}, tracked, False{})
189    case Some{T.Item{k, v, +d}}:
190      read_expiry(K, V, c, code, T.Item{k, v, d}, tracked, Time.expired(d, now))