[_.._]

Definitions:

extended integer, extended integer
Source: /avail/Avail/Foundation/Early Math
Categories: Integers, Types, Constructors
Construct and answer an integer range type with the specified bounds.
Position Name Type Description
Parameters
1 lowerBound extended integer The lower bound, inclusive.
2 upperBound extended integer The upper bound, inclusive.
Returns extended integer meta The requested integer range.

Semantic restrictions:

extended integer meta, extended integer meta
Source: /avail/Avail/Foundation/Early Math
Strengthen integer range types.
Type Description
Parameter Types
extended integer meta
extended integer meta