Namespace providing type-safe operations for the NonPositiveSafeInt branded type.
NonPositiveSafeInt
The NonPositiveSafeInt type represents a non-positive safe integer. Division (div) uses floor division.
div
Namespace providing type-safe operations for the
NonPositiveSafeIntbranded type.The
NonPositiveSafeInttype represents a non-positive safe integer. Division (div) uses floor division.