4.9.5 Integers

A set of integers. This is a type synonym for the type set(int) (Set (accumulative)).

4.9.5.1 Example

Here is an example of an integers type definition:

     deftype "integers" ints