| Alias | Effect |
|---|---|
| Ctrl+space | Code completion |
| Alt+enter | Intentions menu |
| Ctrl+w | Item (incremental) selection |
| def | Creates predicate definition |
| use | Creates use keyword |
| check | Check all keyword |
| and, or, not | Logical operation |
| " | “”, string value |
| for | For all keyword |
| if | Implication (if) |
| Insert, enter | When needs to insert argument for predicates or functions |
| var | Local variable (inside check-all) |
| fun | Creates function in Domain Model |
| typedef | Creates domain type in Domain Model |