[Merged by Bors] - chore: add cases_eliminator and induction_eliminator to some simple types#14205
Closed
eric-wieser wants to merge 3 commits intomasterfrom eric-wieser/simple-recursors
Commits
Commits on Jun 27, 2024
- committed
- committed
- authored
