{«_→_‡,»}

Definitions:

key-value tuple
Source: /avail/Avail/Foundation/Literals
Categories: Maps, Constructors
Construct and answer a map from the lexically specified key-value bindings.
Position Name Type Description
Parameters
1 bindings key-value tuple The key-value bindings that constitute the answer.
Returns map A map comprising the specified key-value bindings.

Semantic restrictions:

key-value tuple's type
Source: /avail/Avail/Foundation/Literals
If a lexical map is built only from expressions with statically well-known runtime values, then answer the instance type of the map that contains those statically known elements. This gives lexical maps of literals and statically well-known elements the same force as lexical literals, e.g., numbers and strings.
Type Description
Parameter Types
key-value tuple's type
Returns set's type