Этот предикат объявляет оператор, имеющий приоритет X, позицию и ассоциативность Y и имя Z . Спецификация позиции и ассоциативности выбирается из числа следующих атомов:
fx fy xf yf xfx xfy yfx yfy
Если объявление оператора корректно, то op считается согласованным. Более подробно этот предикат описан в разд. 5.5.
Опубликовал Kest
July 09 2009 21:04:04 ·
0 Комментариев ·
7522 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
