Adapt to rocq-prover/rocq#21811 (Generalize DeclareScheme)#986
Draft
thomas-lamiaux wants to merge 1 commit intoLPCIC:masterfrom
Draft
Adapt to rocq-prover/rocq#21811 (Generalize DeclareScheme)#986thomas-lamiaux wants to merge 1 commit intoLPCIC:masterfrom
thomas-lamiaux wants to merge 1 commit intoLPCIC:masterfrom
