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

Merged

MathisBD merged 2 commits intoMetaCoq:coq-8.20from MathisBD:update-inductive-doc-8.20

Dec 30, 2024

+58-20

Commits on Dec 30, 2024