Skip to content

Merge pull request #1208 from hacspec/ascribe-match-scrutinees #379

Merge pull request #1208 from hacspec/ascribe-match-scrutinees

Merge pull request #1208 from hacspec/ascribe-match-scrutinees #379

Annotations

2 warnings

build-documentation

succeeded Dec 24, 2024 in 9m 51s