type, type
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Mathematics
Compute and answer the type intersection of the two types. This is the most general type that is a subtype of both types.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
arg1 |
type |
A type.
|
| 2 |
arg2 |
type |
A type.
|
| Returns |
(⊤)'s type |
The type intersection of the arguments.
|
set, set
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Sets, Mathematics
Compute and answer the set intersection of the arguments. This is a set that contains only those elements present in each set.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
arg1 |
set |
A set.
|
| 2 |
arg2 |
set |
A set.
|
| Returns |
set |
The set intersection 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 |
|