Succ()

 

Виклик функції

Призначення функції (процедури)

Тип

аргументу

Тип результату

 

Succ(x)

знаходження наступного елемента

порядковий тип

як у аргумента