set, any
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Sets, Mathematics
Compute and answer the asymmetric set difference of the specified set and a set containing the supplied element.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | aSet | set | A set. | |
| 2 | oldElement | any | The element that must not be present in the resultant set. | |
| Returns | set | A set that contains the same elements as aSet except that it does not contain oldElement. | ||
number, number
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Numbers, Mathematics
Compute and answer the difference of the arguments.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | minuend | number | The minuend. | |
| 2 | subtrahend | number | The subtrahend. | |
| Returns | number | The difference of the minuend and the subtrahend. | Raises | |
| cannot-subtract-like-infinities exception | ||||
tuple, any
Source: /avail/Avail/Foundation/Tuples
Categories: Tuples
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | aTuple | tuple | A tuple. | |
| 2 | doomed | any | A value. | |
| Returns | tuple | The requested tuple, which will be aTuple if there were no occurrences of doomed. | ||
extended integer's type, extended integer's type
Source: /avail/Avail/Foundation/Math
Categories: Mathematics, Integers, Types
Compute and answer the integer range type of the difference of the argument types.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | a | extended integer's type | ||
| 2 | b | extended integer's type | ||
| Returns | extended integer's type | The narrowest integer range type general enough to hold all possible differences of the arguments' instances. | ||
map, any
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Maps, Transformers
Construct and answer a map that is based on the supplied map. The answer (potentially) differs from the argument in that it does not contain a binding for key; any such previous binding is forgotten in the new map.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | aMap | map | A map. | |
| 2 | key | any | A key whose binding should be omitted. | |
| Returns | map | The requested map. | ||