4.9.4 Integer

An integer.

4.9.4.1 Top value

See domain type (Domain).

4.9.4.2 Bottom value

See domain type (Domain).

4.9.4.3 Greatest lower bound operation

See domain type (Domain).

4.9.4.4 Example

Here is an example of an integer type definition:

     deftype "integer" int