[Merged by Bors] - refactor: add an ofNat() elaborator#20169
Closed
eric-wieser wants to merge 21 commits intomasterfrom eric-wieser/ofNat()
+119-146
Commits
Commits on Dec 22, 2024
Commits on Dec 23, 2024
- authored
- committed
- committed
- committed
- committed
- committed
Commits on Dec 26, 2024
- committed
- committed
Commits on Dec 28, 2024
- authored
- committed
- committed
- committed
- committed
- committed