Виклик функції
Призначення функції (процедури)
Тип
аргументу
Тип результату
Pred(x)
знаходження попереднього елемента до х
порядковий тип
як у аргумента