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

Merged

SkySkimmer merged 1 commit intoejgallego:mainfrom ppedrot:module-expr-type-gadt

Dec 19, 2024

+108-12

Commits on Dec 18, 2024

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