Correctly detect body for module-type-locked constants#173

JasonGross wants to merge 3 commits into

coq-masterrocq-community/coq-dpdgraph:coq-masterfrom

module-type-locked-bodyrocq-community/coq-dpdgraph:module-type-locked-bodyCopy head branch name to clipboard