coq
forked from coq/coq
Star 1
Fork 0
Watch

Move the Values module to an mli-only file.

Author Pierre-Marie Pédrot Date Commit Parent 30a93308
+1
2 changed files
Unified Split
+1
2 changed files