Skip to content

Compilation of side conditions in pattern matches #8326

Compilation of side conditions in pattern matches

Compilation of side conditions in pattern matches #8326

Annotations

1 warning

pre-commit

succeeded Sep 5, 2024 in 10s