cadenza
/
cadenza.semantics
/
Term
/
tlam
tlam
fun
tlam
(
names
:
Array
<
Pair
<
Name
,
Type
>
>
,
body
:
Term
,
loc
:
Loc
?
=
null
)
:
Term