Adapt w.r.t. coq/coq#19943.#130

Merged

SkySkimmer merged 1 commit intocoq-community:masterfrom ppedrot:module-expr-type-gadt

Dec 19, 2024

+2-2

Commits on Dec 17, 2024

Adapt w.r.t. coq/coq#19943 .
ppedrot
committed