type, type
Source: /avail/Avail/Foundation/Types
Categories: Types
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
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. |