def put_ent

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

import Base

210# Present key: new entry in place, touched, counted as an insertion.
211def put_ent(a, -V: Kind(a), ents: Array<Maybe<a, V>>, lk: Array<U32>, +s: U32, e: Ent<a, V>) -> Array<Maybe<a, V>> & Array<U32>:
212  E{v, +t, +lo, +hi} = e
213  (Array.set(Maybe<a, V>, ents, s, Some{v}), Array.set(U32, Array.set(U32, Array.set(U32, lk, tidx(s), t), dlo_idx(s), lo), dhi_idx(s), hi))