Skip to content

Compilation of side conditions in pattern matches #8353

Compilation of side conditions in pattern matches

Compilation of side conditions in pattern matches #8353

ormolu

succeeded Sep 9, 2024 in 34s