cadenza
/
cadenza.semantics
/
after
after
fun
Type
.
after
(
n
:
Int
)
:
Type