Namespace providing type-safe operations for the NegativeSafeInt branded type.
NegativeSafeInt
The NegativeSafeInt type represents a negative safe integer. Division (div) uses floor division.
div
Namespace providing type-safe operations for the
NegativeSafeIntbranded type.The
NegativeSafeInttype represents a negative safe integer. Division (div) uses floor division.