def append.k

lawful-bytes@0.1.1.0 · fast.bend:130

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

130# dst's length is now a multiple of 4: n more bytes of src from q, a word at a
131# time (up to 3 bytes past the new length are overwritten too).
132def append.k(+n: U32, +q: U32, r: D.Bytes & D.Bytes) -> D.Bytes & D.Bytes:
133  (dst, src) = r
134  D.Bytes{+dl, db} = dst
135  D.Bytes{+sl, sb} = src
136  append.w(dl, n, q, db, sl, Array.get(U32, sb, (q >> 2n : U32)))