set, set
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Sets, Mathematics
Compute and answer the set union of the arguments. This is a set that contains the elements of both sets.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
arg1 |
set |
A set.
|
| 2 |
arg2 |
set |
A set.
|
| Returns |
set |
The set union of the arguments.
|
type, type
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Mathematics
Compute and answer the type union of the two types. This is the most specific type that is a supertype of both types.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
arg1 |
type |
A type.
|
| 2 |
arg2 |
type |
A type.
|
| Returns |
(⊤)'s type |
The type union of the arguments.
|
set meta, set meta
Source: /avail/Avail/Foundation/Early Sets
type's type, type's type
Source: /avail/Avail/Foundation/Types
|
Type |
Description |
| Parameter Types |
| type's type |
|
| type's type |
|