krangelov 275f8f37ce handle pre when it is in the arguments of a Predef function

2021-12-19 10:43:06 +01:00

..

check

…

compute

handle pre when it is in the arguments of a Predef function

2021-12-19 10:43:06 +01:00

params

…

renamer

…

typecheck

…

update

…