Adapt to rocq-prover/rocq#21417 (Elim constraint elaboration)#946

SkySkimmer merged 1 commit intoLPCIC:masterLPCIC/coq-elpi:masterfrom

mattam82:elab-elim-constraintsmattam82/coq-elpi:elab-elim-constraintsCopy head branch name to clipboard