§6. Функции, эффекты, ошибки

В этой главе

6.1 Объявление функции	Без -> T возвращаемый тип — () (для приватных функций с телом => e тип выводится из e).
6.2 Эффекты	Набор эффектов пишется после возвращаемого типа через запятую
6.3 Вызов приостанавливаемых функций	Вызов приостанавливаемой функции в позиции инструкции или обычного выражения выполняется немедленно; текущая задача ждёт результат (неявный await).
6.4 Возврат	return e завершает функцию.
6.5 Ошибки	Исключений нет. Ошибка — значение типа, помеченного @error, возвращаемое через объединение.
6.6 Паника	Причины: переполнение, деление на ноль, выход за границы, x!
6.7 Контракты	requires проверяется при входе, ensures — при выходе (result — возвращаемое значение, old(e) — значение e на входе), invariant (§4.2) — после конструирования и var fn.

Исходник: docs/spec/oxl-standard.md