_'s⁇genuine lower bound

Definitions:

extended integer meta
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Numbers, Types, Queries
Answer the lower bound of the specified integral range type.
Position Name Type Description
Parameters
1 range extended integer meta An integral range type.
Returns [-∞..∞] The lower bound of the argument.

Semantic restrictions:

extended integer meta's type
Source: /avail/Avail/Foundation/Early Math
Strengthen the bound to have the same static type as the argument. Note that this is the strongest possible type because the argument's subtypes have lower and upper bounds drawn from the argument's entire range.
Type Description
Parameter Types
extended integer meta's type