Modulo of self with i.

Finds the remainder of division of self by i.

assert 5u8 % 2u8        == 1u8
assert 10u8 % 2u8       == 0u8

Property definitions

core $ Byte :: %
	# Modulo of `self` with `i`.
	#
	# Finds the remainder of division of `self` by `i`.
	#
	#     assert 5u8 % 2u8		== 1u8
	#     assert 10u8 % 2u8		== 0u8
	fun %(i: Byte): Byte is intern
lib/core/kernel.nit:633,2--639,31