System.PosInt

Declaration

type PosInt = rangeint(0, System.Inf)

Description

The PosInt type in the System package represents the a constraint for positive numeric integer values, those being any integer numbers between (including) 0 and (excluding) Inf (positive infinity), thus 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 PosInt is a subset of that of the more generic Positive type. All array indices are supported by NegInt and thus, the type is often used when passing an index.

See also

• System.NegInt