cadenza
/
cadenza.semantics
/
Term
/
infer
infer
abstract
fun
infer
(
ctx
:
Ctx
)
:
Witness