_⊈_

Definitions:

type, type
Source: /avail/Avail/Foundation/Types
Categories: Types
Is a not a subtype of b?
Position Name Type Description
Parameters
1 a type
2 b type
Returns boolean true if a is not a subtype of b, false otherwise.
set, set
Source: /avail/Avail/Foundation/Sets
Categories: Sets, Queries
Is a neither a superset nor equal to b?
Position Name Type Description
Parameters
1 a set
2 b set
Returns boolean true if a is neither a superset of nor equal to b, false otherwise.

Semantic restrictions:

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