System.Positive - Manhunter07/MFL GitHub Wiki
Declaration
type Positive = range(0, System.Inf)
Description
The Positive type in the System package represents the a constraint for positive numeric values, those being any numbers between (including) 0 and Inf (positive infinity). Values can be either integers or floating-point numbers with a fractional part. The value range for Positive is a subset of that of the more generic Number type.