perf: define MonadOnlyEnv to not reset cache#11156
Draft
JovanGerb wants to merge 8 commits intoleanprover:masterfrom
Draft
perf: define `MonadOnlyEnv` to not reset cache#11156JovanGerb wants to merge 8 commits intoleanprover:masterfrom
JovanGerb wants to merge 8 commits intoleanprover:masterfrom
Commits
Commits on Nov 12, 2025
define `MonadOnlyEnv` for use in `withExporting`, `setStructureResolutionOrder`, `recordExtraModUse`
committed- committed
- committed
- committed
- committed
Commits on Nov 13, 2025
- committed
- committed
- committed