def grow.fin

lawful-bytes@0.1.1.0 · bytes.bend:66

import Base
import lawful-bytes@0.1.1.0/defs.bend as D

66def grow.fin(+len: U32, +e: Nat, r: Array<U32> & U32) -> D.Bytes:
67  (buf, +n) = r
68  D.Bytes{len, grow.go(U32.to_nat(n), Array.get(U32, buf, 0), Array.new(U32, e, 0), 0)}