def out.grow

bend-kit-zlib@0.5.1.0 · zlib.bend:119

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

119def out.grow(fits: Bool, o: Out, +want: U32) -> Out:
120  match fits:
121    case True{}:
122      o
123    case False{}:
124      Out{buf, +dep, +n} = o
125      +d = out.dep(28n, False{}, dep, want)
126      Out{Bytes.dst(Bytes.copy(n, buf, Array.new(U32, bits(d), 0), 0, 0)), d, n}