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 |