Namespace providing type-safe operations for the PositiveUint32 branded type.
PositiveUint32
The PositiveUint32 type represents a positive integer in [1, 2^32). Division (div) uses floor division.
div
Namespace providing type-safe operations for the
PositiveUint32branded type.The
PositiveUint32type represents a positive integer in [1, 2^32). Division (div) uses floor division.