Ordinal types

Description

Ordinal types define discrete groups of ordered values. Each value of a given ordinal type has a unique predecessor (except the first value defined by that type). Each value of a given ordinal type has a unique successor (except the last value defined by that type).

The ordinal types are enumerated types, integral types, and their subranges.