Use constant terms as identifiers in names and variables#1281
Draft
Halbaroth wants to merge 7 commits intoOCamlPro:nextfrom Halbaroth:use-term-cst-in-mdl
+697-587
Commits
Commits on Feb 4, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
