{_→_`|_.._}

Definitions:

any meta, any meta, whole number, [0..∞]
Source: /avail/Avail/Foundation/Types
Categories: Maps, Types
Construct and answer a map type with the specified key type, value type, and uses all whole numbers as the value of the cardinality.
Position Name Type Description
Parameters
1 keyType any meta A type to which all keys of instances must conform.
2 valueType any meta A type to which all values of instances must conform.
3 minimumSize whole number The minimum cardinality of the set.
4 maximumSize [0..∞] The maximum cardinality of the set.
Returns map meta The requested map type.

Semantic restrictions:

any's type's type, any's type's type, whole number's type, [0..∞]'s type
Source: /avail/Avail/Foundation/Types
Type Description
Parameter Types
any's type's type
any's type's type
whole number's type
[0..∞]'s type