Modulo of self with i.

Returns the remainder of division of self by i.

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

Property definitions

core $ UInt16 :: %
	# Modulo of `self` with `i`.
	#
	# Returns the remainder of division of `self` by `i`.
	#
	#     assert 5u16 % 2u16	== 1u16
	#     assert 10u16 % 2u16	== 0u16
	fun %(i: UInt16): UInt16 is intern
lib/core/fixed_ints.nit:373,2--379,35