~/jendhub

def life_hi

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

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

123def life_hi(a, -V: Kind(a), v: V, now: W.U64, +lo: U32, r: Array<U32> & U32) -> Array<U32> & Ent<a, V>:
124  (m, +hi) = r
125  (m, ent_dl(a, V, v, W.add(now, W.U64{lo, hi})))

Uses (8)

Used by (1)