def remove_oldest

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

import Base

110def remove_oldest(-K: Data, -V: Data, +c: Cache<K, V>, evict: Bool) -> Step<K, V>:
111  State{cap, m, order, life, counts, cb} = c
112  oldest_remove(K, V, c, order, evict)