Skip to content

System.NegInt

Dennis G. edited this page Jul 18, 2025 · 1 revision

Declaration

type NegInt = rangeint(0, System.Inf)

Description

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.

See also

Clone this wiki locally