def oldest_read

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

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

229def oldest_read(-K: Data, -V: Data, +c: Cache<K, V>, order: List<&2, String>, now: T.Int64) -> Step<K, V>:
230  match order:
231    case Nil{}:
232      Out{c, None{}, False{}, Nil{}}
233    case Con{k, rest}:
234      read_encoded(K, V, c, k, now, False{})