Enumerated types define ordered sets of values by enumerating the identifiers that denote these values. Their ordering follows the sequence in which the identifiers are enumerated.

Syntax

Remarks

The identifiers in the type definition become constants of the enumerated type.

The first constant has an ordinality of 0, the second has an ordinality of 1, the third an ordinality of 2, and so on.

Enumerated types are a subclass of the ordinal types.

Example

Given this declaration, Heart is a constant of type Suit.

The Ord standard function returns the ordinality of an enumerated constant. In this example,

and so on.