_'s⁇key type

Definitions:

map meta
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Maps, Queries
Answer the most specific type to which the keys of all instances must conform.
Position Name Type Description
Parameters
1 aMapType map meta A map type.
Returns (any)'s type The argument's key type.

Semantic restrictions:

map meta's type
Source: /avail/Avail/Foundation/Early Maps
If the exact map is known, then answer the enumeration of its keys. Otherwise, just answer the key type.
Type Description
Parameter Types
map meta's type