Tuple Type

Like all type expressions, this expression produces a value of the type type.

Tuple-typed values contain a value for each element of the tuple type, where each element's type is determined by its corresponding element type.

Representation

A value of a tuple type consists of a value for each element of the tuple type.

Syntax

Produced by a tuple expression when every element of the expression is a value of the type type; such a tuple expression has the type type itself.