def gone_hi

bend-collections@1.0.0.0 · src/containers/lru.bend:450

import bend-collections@1.0.0.0/src/containers/lru.bend as Lru
import Base
import bend-collections@1.0.0.0/src/math/u64.bend as W

450# Whether slot s holds an expired entry (from its timing words in lk).
451def gone_hi(+lo: U32, now: W.U64, r: Array<U32> & U32) -> Array<U32> & Bool:
452  (lk, +hi) = r
453  (lk, expired(W.U64{lo, hi}, now))

Uses (7)

Used by (1)