n
bytes from dst_offset
to src_offset
, inside this arrayRequire: all arguments greater than 0 and ranges within length
# Safely move `n` bytes from `dst_offset` to `src_offset`, inside this array
#
# Require: all arguments greater than 0 and ranges within `length`
fun move(dst_offset, src_offset, n: Int)
do
assert dst_offset >= 0 and src_offset >= 0 and n >= 0
assert dst_offset + n <= length
assert src_offset + n <= length
native_array.move(dst_offset, src_offset, n)
end
lib/c/c.nit:178,2--188,4