Union Type - Zistack/program-modeling-language GitHub Wiki

union <union_identifier> = <type_identifier>, ...

This defines a new type whose set of values is the union of the sets of values for each type.