Zlib.cp.of: def of bend-kit-zlib@0.5.1.0
Import: import bend-kit-zlib@0.5.1.0/zlib.bend as Zlib
Lines 354-358 of bend-kit-zlib@0.5.1.0/zlib.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&start_line=354&end_line=358

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

# A match copies len bytes from d back in the output, one at a time, so it may overlap itself.
# ponytail: byte-at-a-time copy; use Bytes.copy when d >= len if long matches dominate.
def cp.of(+dep: U32, +n: U32, r: Array<U32> & U32) -> Out:
  (a, +c) = r
  Out{Bytes.poke(a, n, c), dep, (n + 1 : U32)}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  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.add
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=poke
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=Out