Namespace providing type-safe operations for the PositiveInt16 branded type.
PositiveInt16
The PositiveInt16 type represents a positive integer in [1, 2^15). Division (div) uses floor division.
div
Namespace providing type-safe operations for the
PositiveInt16branded type.The
PositiveInt16type represents a positive integer in [1, 2^15). Division (div) uses floor division.