org.emmalanguage.ast.Terms.TermAPI
If-else branches.
Creates a type-checked if-else branch.
if-else
Must be a boolean expression.
Then branch (must be a term).
Else branch (must be a term) - use Unit for one-sided branches.
Unit
if (cond) thn else els.
if (cond) thn else els
If-else branches.