tipos ordinales

Los valores de un tipo ordinal tienen una correspondencia biunívoca con el conjunto de

enteros positivos. Tales valores estan ordenados de manera que a cada uno le corresponde un

valor ordinal único que indica su posición en la lista de todos los valores posibles de ese tipo.

Los tipos de datos

3 -2

Hay tres funciones predeclaradas que operan solamente sobre expresiones de tipo

ordinal, proporcionando información sobre la secuencia de valores ordenados de ese tipo:

. La función PRED busca al predecesor de cualquier valor de un tipo ordinal,

excepto para el menor de todos.

. La función SUCC busca al sucesor de cualquier valor de un tipo ordinal,

excepto para el mayor de todos.

. La función ORD busca al ordinal de un valor y lo devuelve como un entero. El

ordinal de un entero es el mismo entero.