4.9.12 Tuple

A tuple over n finite domains of constants.

4.9.12.1 Top value

see domain type (Domain).

4.9.12.2 Bottom value

see domain type (Domain).

4.9.12.3 Greatest lower bound operation

see domain type (Domain).

4.9.12.4 Example

Here is an example tuple type definition whose first projection has type ref("type_1"). The second projection has type ref("type_2") and the third projection type ref("type_3"):

     deftype "tuple" tuple(ref("type_1") ref("type_2") ref("type_3"))