4.9.11 String

A string.

4.9.11.1 Top value

See domain type (Domain).

4.9.11.2 Bottom value

See domain type (Domain).

4.9.11.3 Greatest lower bound operation

See domain type (Domain).

4.9.11.4 Example

Here is an example of a string type definition:

     deftype "string" string