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.

See also

• System.NegInt