Namespace providing type-safe operations for the SafeInt branded type.
SafeInt
The SafeInt type represents a safe integer. Division (div) uses floor division.
div
Namespace providing type-safe operations for the
SafeIntbranded type.The
SafeInttype represents a safe integer. Division (div) uses floor division.