Skip to content

Merge if -> ite renaming from stdlib #7655

Merge if -> ite renaming from stdlib

Merge if -> ite renaming from stdlib #7655

ormolu

succeeded Jul 1, 2024 in 23s