Спецификация функции.
Спецификация функции имеет следующий синтаксис:
\спецификация функции\::=[pure | impure] function \имя функции\ |\знак функции\
[(\список параметров\)] return \тип параметра\ is
{\объявление в подпрограме\}
begin
{\последовательный оператор\}
return \выражение\;
end [function][\имя функции\];
В ней знак функции – символ в кавычках, например, "+", список параметров – такой же, как в процедуре за исключением того, что режимы параметров out и inout не допускаются. После ключевого слова return в объявлении функции указывается тип возвращаемого параметра. Объявления в функции могут быть такими же, как в процедуре. Выполнение функции должно оканчиваться оператором return, вычисляющим выражение возвращаемого параметра.
