Derive Arbitrary for enums with a single variant#3692
Merged
celinval merged 1 commit intomodel-checking:mainfrom AlgebraicWolf:derive-single-variant-enumNov 7, 2024
+87
Arbitrary for enums with a single variant#3692