Argument Position | Prohibited Expression |
---|---|

Argument 2 | _∩_ |

Argument Position | Prohibited Expression |
---|---|

Argument 2 | _∩_ |

type, type

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

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. |