| Alias | Эффект |
|---|---|
| Ctrl+space | Автодополнение кода |
| Alt+enter | Intentions меню |
| Ctrl+w | Выделить сущность |
| def | Определение предиката |
| use | Ключевое слово use |
| check | Ключевое слово Check all |
| and, or, not | Логические операции |
| " | “”, строковое значение |
| for | Ключевое слово For all |
| if | Конструкция if |
| Insert, enter | Вставить аргумент в предикат или функцию |
| var | Локальная переменная/константа (внутри check-all) |
| fun | Заголовок функции в Domain Model |
| typedef | Тип в Domain Model |