cadenza
/
cadenza.semantics
/
Term
/
tif
tif
fun
tif
(
cond
:
Term
,
thenTerm
:
Term
,
elseTerm
:
Term
,
loc
:
Loc
?
=
null
)
:
Term