Namespace providing type-safe operations for the PositiveInt32 branded type.
PositiveInt32
The PositiveInt32 type represents a positive integer in [1, 2^31). Division (div) uses floor division.
div
Namespace providing type-safe operations for the
PositiveInt32branded type.The
PositiveInt32type represents a positive integer in [1, 2^31). Division (div) uses floor division.