A tagged union that can hold a single value from any of a specified set of types.
The value in a SumType can be operated on using pattern matching.
The special type This can be used as a placeholder to create self-referential types, just like with Algebraic. See the "Arithmetic expression evaluator" example for usage.
A SumType is initialized by default to hold the .init property of its first member type, just like a regular union.
Constructs a SumType holding a specific value.
A destructor is present on this object, but not explicitly documented in the source.
A postblit is present on this object, but not explicitly documented in the source.
The types a SumType can hold.
Assigns a value to a SumType.