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 |