Write value as a single byte with metadata

Require: value >= -0x20 and value <= 0x7F

Property definitions

msgpack :: write $ Writer :: write_msgpack_fixint
	# Write `value` as a single byte with metadata
	#
	# Require: `value >= -0x20 and value <= 0x7F`
	fun write_msgpack_fixint(value: Int)
	do
		assert value >= -0x20 and value <= 0x7F
		write_byte value
	end
lib/msgpack/write.nit:58,2--65,4