Функция ord возвращает порядковое значение перечисляемого типа.
Функция pred возвращает предыдущие значение перечисляемого типа, а succ - следующие. В качестве параметра функций идут переменные i порядкового типа и x действительного. Тип real неперечисляемый, значит программа выдаст компиляционную ошибку.