cadenza
/
cadenza.semantics
/
Term
/
check
check
open
fun
check
(
ctx
:
Ctx
,
expectedType
:
Type
)
:
Witness