Namespace providing type-safe operations for the NonNegativeInt32 branded type.
NonNegativeInt32
The NonNegativeInt32 type represents a non-negative integer in [0, 2^31). Division (div) uses floor division.
div
Namespace providing type-safe operations for the
NonNegativeInt32branded type.The
NonNegativeInt32type represents a non-negative integer in [0, 2^31). Division (div) uses floor division.