Skip to content

Define subtyping of unions with type difference#566

Closed
erszcz wants to merge 27 commits intojosefs:masterfrom
erszcz:define-union-subtype-with-typediff
Closed

Define subtyping of unions with type difference#566
erszcz wants to merge 27 commits intojosefs:masterfrom
erszcz:define-union-subtype-with-typediff

Commits

Commits on Jun 2, 2024