Next: The universal type, Previous: Predicate and function types, Up: Other builtin types [Contents]
The tuple types are {}, {T}, {T1, T2}, …
A tuple type is equivalent to a discriminated union type (see Discriminated unions) with declaration
:- type {Arg1, Arg2, …, ArgN}
---> { {Arg1, Arg2, …, ArgN} }.