extended integer's type
Source: /avail/Avail/Foundation/Math
Categories: Mathematics, Integers, Types
Compute and answer the negation of the specified integral type.

Position 
Name 
Type 
Description 
Parameters 
1 
a 
extended integer's type 

Returns 
extended integer's type 
The negation of the argument, e.g., the negation of [3..5] is [5..3] .

number
Source: /avail/Avail/Foundation/Math
Categories: Mathematics, Numbers
Negate the argument. Avail's system dialect has no negative numeric literals, but the associated semantic restriction effectively overcomes this limitation (for literal arguments).

Position 
Name 
Type 
Description 
Parameters 
1 
a 
number 
A number.

Returns 
number 
The negation of the argument.

extended integer's type's type
Source: /avail/Avail/Foundation/Math
Strangely, strengthen typewise negation's own static type. This allows us to use typewise negation of an integral type like natural number and get back something that is statically of (∞..1]'s type.

Type 
Description 
Parameter Types 
extended integer's type's type 

extended integer's type
Source: /avail/Avail/Foundation/Math
Strengthen negation.

Type 
Description 
Parameter Types 
extended integer's type 

number's type
Source: /avail/Avail/Foundation/Math
Compute and answer the strongest possible type of the argument. In particular, an instance type will result in a precise answer that has the same force as a literal.

Type 
Description 
Parameter Types 
number's type 
