Added support for mutually recursive function and predicate definitions#549
Merged
Halbaroth merged 3 commits intoOCamlPro:nextfrom hra687261:mutual-recursionFeb 9, 2023
+128-49
Commits
Commits on Feb 8, 2023
Commits on Feb 9, 2023
- committed
- committed