_∩_

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 2 _∩_

Definitions:

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.

Semantic restrictions:

set meta, set meta
Source: /avail/Avail/Foundation/Early Sets
Type Description
Parameter Types
set meta
set meta
type's type, type's type
Source: /avail/Avail/Foundation/Types
Type Description
Parameter Types
type's type
type's type