Skip to content

Improve discriminated union implementation#4556

Merged
colinhacks merged 6 commits intomainfrom
better-disc-union
May 28, 2025
Merged

Improve discriminated union implementation#4556
colinhacks merged 6 commits intomainfrom
better-disc-union

Commits

Commits on May 28, 2025