Namespace providing type-safe operations for the PositiveSafeInt branded type.
PositiveSafeInt
The PositiveSafeInt type represents a positive safe integer. Division (div) uses floor division.
div
Namespace providing type-safe operations for the
PositiveSafeIntbranded type.The
PositiveSafeInttype represents a positive safe integer. Division (div) uses floor division.