+
+ # 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