def copy

stelliferous@0.0.2.0 · traversal_array.bend:74

import stelliferous@0.0.2.0/traversal_array.bend as TraversalArray

import Base

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

Uses (10)

Used by (3)