Fast.append.k: def of lawful-bytes@0.1.1.0
Import: import lawful-bytes@0.1.1.0/fast.bend as Fast
Lines 130-136 of lawful-bytes@0.1.1.0/fast.bend: https://jend.leeeet.dev/read.txt?path=lawful-bytes@0.1.1.0/fast.bend&start_line=130&end_line=136

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

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.get
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shrn
  https://jend.leeeet.dev/definition.txt?path=lawful-bytes@0.1.1.0/defs.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=lawful-bytes@0.1.1.0/fast.bend&name=append.w