4.9.6 List

A list over a domain of any type.

4.9.6.1 Top value

See domain type (Domain).

4.9.6.2 Bottom value

See domain type (Domain).

4.9.6.3 Greatest lower bound operation

See domain type (Domain).

4.9.6.4 Example

Here is an example list type definition with domain ref("domain"):

     deftype "list" ref("domain")