def grow

gralha-byte-words@0.1.0.0 · words.bend:57

import gralha-byte-words@0.1.0.0/words.bend as Words
import Base

57def grow(out: Array<U32>, +cap: U32) -> Array<U32>:
58  gr_dst(gr_loop(U32.to_nat(cap), Gr{out, Array.new(U32, depth_for((cap * 2 : U32)), 0)}, 0))

Uses (9)

Used by (1)