def concat.go
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytesimport Base
395def concat.go(xs: List<&1, Bytes>, out: Array<U32>, +at: U32) -> Array<U32>:
396 match xs:
397 case Nil{}:
398 out
399 case Con{x, t}:
400 Bytes{+l, buf} = x
401 concat.go(t, dst(copy(l, buf, out, 0, at)), (at + l : U32))