Tuples

Tuples are tied using parentheses:

(a, b, c)

For a:A, b:B, and c:C, the type of such a tuple is (A, B, C). It is not possible to declare variables of tuple type, but tuples may be used to return multiple values from a function:

function f(x:X, y:Y) -> (A, B, C) {
 a:A;
 b:B;
 c:C;
 return (a, b, c);
}

To untie a tuple, use parentheses on the left:

a:A;
b:B;
c:C;
(a, b, c) <- f(x, y);