_∉_

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 1 ¬_

Definitions:

any, set
Source: /avail/Avail/Foundation/Sets
Categories: Sets, Queries
Is element not an element of aSet?
Position Name Type Description
Parameters
1 element any An arbitrary value.
2 aSet set
Returns boolean true if element is not an element of aSet, false otherwise.
any, map
Source: /avail/Avail/Foundation/Maps
Categories: Maps, Queries
Is key not a key of aMap?
Position Name Type Description
Parameters
1 key any
2 aMap map
Returns boolean true if key is not an element of aMap, false otherwise.

Semantic restrictions:

any meta, set meta
Source: /avail/Avail/Foundation/Sets
Type Description
Parameter Types
any meta
set meta