def append

lawful-bytes@0.1.1.0 · bytes.bend:52

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

52# dst with bytes s .. s+n-1 of src added at the end; src handed back.
53def append(dst: D.Bytes, src: D.Bytes, +s: U32, +n: U32) -> D.Bytes & D.Bytes:
54  append.go(U32.to_nat(n), dst, at(src, s), s)