def oldest_remove

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

import Base

103def oldest_remove(-K: Data, -V: Data, +c: Cache<K, V>, order: List<&2, String>, evict: Bool) -> Step<K, V>:
104  match order:
105    case Nil{}:
106      Out{c, None{}, False{}, Nil{}}
107    case Con{k, rest}:
108      remove_encoded(K, V, c, k, evict)