<«_‡,»>

Definitions:

tuple
Source: /avail/Avail/Foundation/Early Literals
Categories: Constructors, Tuples
Construct and answer a tuple from the lexically specified expressions. The hard work here is done automatically by the Avail compiler.
Position Name Type Description
Parameters
1 elements tuple The desired tuple, lexically constructed by the compiler.
Returns tuple The argument.

Semantic restrictions:

tuple meta
Source: /avail/Avail/Foundation/Early Literals
Strengthen the type of <«_‡,»> to the most exact possible. The hard work here is done automatically by the Avail compiler, which examines the lexical arguments and produces instance types for literals and applies semantic restrictions to any method sends.
Type Description
Parameter Types
tuple meta
tuple meta
Source: /avail/Avail/Foundation/Literals
If a lexical tuple is built only from expressions with statically well-known runtime values, then answer the instance type of the tuple that contains those statically known elements. This gives lexical tuples of literals and statically well-known elements the same force as lexical literals, e.g., numbers and strings.
Type Description
Parameter Types
tuple meta