0.2 Нотация

• Грамматика записана в EBNF (приложение A): a? — необязательно, a* — ноль или больше, a+ — один или больше, a | b — выбор, "kw" — терминал.
• Примеры кода информативны; при расхождении с текстом прав текст.
• T, U — произвольные типы; E — тип-объединение ошибок.
• Верхний уровень файла содержит только объявления (items). Строки let, assert и вызовы, показанные в примерах вне функции (в §4.2, V.3 и др.), — фрагменты: в программе такие операторы стоят в теле функции, main или test (D-8052, DIV-001, прил. B).

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