Namespace providing type-safe operations for the PositiveUint16 branded type.
PositiveUint16
The PositiveUint16 type represents a positive integer in [1, 2^16). Division (div) uses floor division.
div
Namespace providing type-safe operations for the
PositiveUint16branded type.The
PositiveUint16type represents a positive integer in [1, 2^16). Division (div) uses floor division.