Safely move n bytes from dst_offset to src_offset, inside this array

Require: all arguments greater than 0 and ranges within length

Property definitions

c $ CByteArray :: move
	# 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