cadenza
/
cadenza
/
Language
/
binary
binary
inline
fun
binary
(
f
:
(
x
:
Term
,
y
:
Term
)
->
Term
,
tx
:
Type
,
ty
:
Type
)
:
Code