def copy_range

gralha-byte-words@0.1.0.0 · words.bend:123

import gralha-byte-words@0.1.0.0/words.bend as Words

import Base

123def copy_range(src: Array<U32>, +src_at: U32, dst: Array<U32>, +dst_at: U32, +n: U32) -> IO(Array<U32> & Array<U32>):
124  import "./effs/words_copy_range.c"
125  import "./effs/words_copy_range.js"

Uses (4)

U32
Pair
Array
IO

Used by (0)

No other definition uses this definition.