Enumeration Types

Abstract

A new unstructured type may be declared as an enumeration, i.e. by enumerating the set of values which belong to this type. The type declaration

$$T = ({c_1},{c_2},...,{c_n})$$

introduces the new, unstructured type T, whose values are denoted by the n constant identifiers c₁, c₂, ... , c_n. These are the only values belonging to that type. The syntax for the enumeration type declaration is

$$\$ {\text{enumeration = ''(''IdentList}}'')''.$$