cadenza
/
cadenza.semantics
/
Term
/
tapp
tapp
fun
tapp
(
trator
:
Term
,
vararg
trands
:
Term
,
loc
:
Loc
?
=
null
)
:
Term