def rd_pick

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

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
import bend-collections@1.0.0.0/src/containers/hash_table.bend as H

534def rd_pick(-V: Data, f: LRU<&2, V>, +at: U32, +l: U32, now: W.U64, +tracked: Bool, absent: Bool) -> LRU<&2, V> & Maybe<&2, V>:
535  match absent:
536    case True{}:
537      (miss_if(&2, V, f, tracked), None{})
538    case False{}:
539      rd_hit(V, f, H.slot(l), at, now, tracked)

Uses (10)

Used by (1)