def grow_tab_b
bend-collections@1.0.0.0 · src/containers/lru.bend:93
import bend-collections@1.0.0.0/src/containers/lru.bend as Lru
import Base
import bend-collections@1.0.0.0/src/containers/hash_table.bend as H
93def grow_tab_b(tab: Array<U32>, +mask: U32, r: Array<U32> & U32) -> Array<U32> & Array<U32>:
94 (m2, +bits) = r
95 +nmask = U32.inc(U32.shl(mask))
96 (Array.set(U32, Array.set(U32, m2, 6, nmask), 7, U32.inc(bits)),
97 H.mv_fin(H.mv_go(U32.to_nat(U32.inc(mask)), 0, nmask, H.MV{tab, Array.new(U32, U32.to_nat(U32.add(bits, 2)), 0)})))