New unsafe pass to extract inductives to arbitrary constants#1238

mattam82 merged 1 commit intoMetaRocq:9.0MetaRocq/metarocq:9.0from

mattam82:9.0-unsafe-ind-mapmattam82/metacoq:9.0-unsafe-ind-mapCopy head branch name to clipboard