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

Argument 1 | ¬_ |

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

Argument 1 | ¬_ |

set, set

Position | Name | Type | Description | |
---|---|---|---|---|

Parameters | ||||

1 | arg1 | set | A set. | |

2 | arg2 | set | A set. | |

Returns | boolean | `true` if arg1 is a subset of or equal to arg2, `false` otherwise. |

tuple, tuple

Position | Name | Type | Description | |
---|---|---|---|---|

Parameters | ||||

1 | subtuple | tuple | The search tuple. | |

2 | aTuple | tuple | The tuple which should be searched for subtuple. | |

Returns | boolean | true if some subsequence of aTuple equals subtuple, false otherwise. |

type, type

Is the first argument a subtype of the second argument? This does not implement the proper subtype relation, so the first argument is considered a subtype of the second argument also if it is equal to the second argument.

Position | Name | Type | Description | |
---|---|---|---|---|

Parameters | ||||

1 | arg1 | type | A type. | |

2 | arg2 | type | A type. | |

Returns | boolean | `true` if the first argument is a subtype of, or the same type as, the second argument, `false` otherwise. |

tuple, tuple

Position | Name | Type | Description | |
---|---|---|---|---|

Parameters | ||||

1 | aTuple | tuple | The tuple which should be searched for subtuple. | |

2 | subtuple | tuple | The search tuple. | |

Returns | boolean | true if some subsequence of aTuple equals subtuple, false otherwise. |

tuple meta, tuple meta

If subtuple is guaranteed longer than aTuple or if the element types of subtuple and aTuple are completely disjoint, then subtuple 's instance cannot possibly be a subsequence of aTuple 's instance.

Type | Description | |
---|---|---|

Parameter Types | ||

tuple meta | ||

tuple meta |

set meta, set meta

Type | Description | |
---|---|---|

Parameter Types | ||

set meta | ||

set meta |