TraversalArray.copy: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/traversal_array.bend as TraversalArray
Lines 74-77 of stelliferous@0.0.2.0/traversal_array.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/traversal_array.bend&start_line=74&end_line=77

import Base

def copy(~Element: Data,count: Nat,source: U32,destination: U32,input: Array<Element>,target: Array<Element>) -> Array<Element> & Array<Element>:
  finish(~Array<Element>,~Element,~Offsets,
    run(~Array<Element>,~Element,~Offsets,~source_offset(~Element),~destination_offset,count,
      State{input,target,0,Offsets{source,destination}}))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_array.bend&name=Offsets
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_array.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_array.bend&name=destination_offset
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_array.bend&name=finish
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_array.bend&name=run
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_array.bend&name=source_offset