Modulo of self with i.

Returns the remainder of division of self by i.

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

Property definitions

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