_'s⁇value type

Definitions:

map meta
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Maps, Queries
Answer the most specific type to which the values of all instances must conform.
Position Name Type Description
Parameters
1 aMapType map meta A map type.
Returns (any)'s type The argument's value type.
literal token meta
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Phrases, Queries
Extract this literal token type's value type. That's the type of value that a conforming literal token can produce.
Position Name Type Description
Parameters
1 literalTokenType literal token meta The literal token type.
Returns (any)'s type The type of value that such a literal token can produce.

Semantic restrictions:

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