Editor tips

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