-
Notifications
You must be signed in to change notification settings - Fork 2
System.NegInt
Dennis G. edited this page Jul 18, 2025
·
1 revision
type NegInt = rangeint(0, System.Inf)
The NegInt type in the System package represents the a constraint for negative numeric integer values, those being any integer numbers between (including) 0 and (excluding) -Inf (negative infinity), thus the additive inverses of all natural numbers. Like all integer types, its values must not contain fractional digits and must not be special numbers like -Inf or NaN. The value range for NegInt is a subset of that of the more generic Negative type. Except for zero 0, array indices are never supported by NegInt.
Texts, images and code samples on this page are available under MPL 2.0 license