Programming Language Theory Concept
Sum type union type
Journey Statuslearning
An algebraic datatype with multiple Type variants combined via "or" - a value is one of the variants, each with its own Constructor tag (e.g., BT = mt | node).
An algebraic datatype with multiple Type variants combined via "or" - a value is one of the variants, each with its own Constructor tag (e.g., BT = mt | node).