~/jendhub

def rd_val

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

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

504def rd_val(-V: Data, f: LRU<&2, V>, +s: U32, +tracked: Bool, m: Maybe<&2, V>) -> LRU<&2, V> & Maybe<&2, V>:
505  match m:
506    case None{}:
507      (miss_if(&2, V, f, tracked), None{})
508    case Some{v}:
509      rd_live(&2, V, f, s, tracked, v)

Uses (8)

Used by (1)