Write an array header for len items, max of 0xFFFF_FFFF items

After writing the header, clients should write the array items.

Require: len <= 0xFFFF_FFFF

Property definitions

msgpack :: write $ Writer :: write_msgpack_array32
	# Write an array header for `len` items, max of 0xFFFF_FFFF items
	#
	# After writing the header, clients should write the array items.
	#
	# Require: `len <= 0xFFFF_FFFF`
	fun write_msgpack_array32(len: Int)
	do
		assert len <= 0xFFFF_FFFF
		write_byte 0xDD
		write_bytes len.to_bytes(n_bytes=4)
	end
lib/msgpack/write.nit:332,2--342,4