Skip to content

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

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

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

Annotations

1 warning

Lint style

succeeded Jan 1, 2025 in 1m 7s