## 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.