Adapt to rocq-prover/rocq#22166 (opaque_proofterm carries a usage bit) - #1292

Adapt to rocq-prover/rocq#22166 (opaque_proofterm carries a usage bit)#1292

JasonGross wants to merge 1 commit into

MetaRocq:mainMetaRocq/metarocq:mainfrom

JasonGross:print-assumptions-fine-grainedJasonGross/metacoq:print-assumptions-fine-grainedCopy head branch name to clipboard