integerRangeType

fun integerRangeType(lowerBound: A_Number, lowerInclusive: Boolean, upperBound: A_Number, upperInclusive: Boolean): A_Type

Create an integer range type. Normalize it as necessary, converting exclusive finite bounds into equivalent inclusive bounds. An empty range is always converted to bottom.

Return

The new normalized integer range type.

Parameters

lowerBound

The lowest value inside (or just outside) the range.

lowerInclusive

Whether to include the lowerBound.

upperBound

The highest value inside (or just outside) the range.

upperInclusive

Whether to include the upperBound.