Namespace providing type-safe operations for the NonZeroSafeInt branded type.
NonZeroSafeInt
The NonZeroSafeInt type represents a non-zero safe integer. Division (div) uses floor division.
div
Namespace providing type-safe operations for the
NonZeroSafeIntbranded type.The
NonZeroSafeInttype represents a non-zero safe integer. Division (div) uses floor division.