Skip to content

[Merged by Bors] - refactor: add an ofNat() elaborator #52375

[Merged by Bors] - refactor: add an ofNat() elaborator

[Merged by Bors] - refactor: add an ofNat() elaborator #52375

Annotations

1 warning

label-and-report-new-contributor

succeeded Jan 1, 2025 in 9s