engl.: enumeration type

Die Wertemenge eines Aufzählungstyps ist eine endliche Menge (von Namen).

• Die datatype-Deklaration kann auch verwendet werden, um Aufzählungstypen zu definieren, indem nur null-stellige Konstruktoren benutzt werden.