Skip to content

Update documentation in common/Environment.ml for inductive and constant declarations#1128

Open
MathisBD wants to merge 1 commit intoMetaCoq:mainfrom MathisBD:update-inductive-doc
+55-20

Commits