Adapt w.r.t. coq/coq#19995.#887

Merged

SkySkimmer merged 1 commit intoejgallego:mainfrom ppedrot:module-abstract-type

Jan 15, 2025

+92-28

Commits on Jan 9, 2025

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