def purge_needs_clock

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

import Base

283# One oldest inspection. Immortal or empty means stop and consumes no clock read.
284def purge_needs_clock(-K: Data, -V: Data, c: Cache<K, V>) -> Bool:
285  finite_entry(K, V, oldest_entry(K, V, c))