[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
type enum type identifier = (name identifier, ..., name identifier); |
An enumerated type defines a range of elements which are referred to by
identifiers. Enumerated types are ordered by occurence in the identifier
list. So, they can be used as index types in an array
definition, and it is possible to define subranges of them. Since they are
ordered, they can be compared to one another. The intrinsic function
Ord
applied to name identifier returns the number of occurence
in the identifier list (beginning with zero), Pred
and Succ
return the predecessor and successor of name identifier.