company logo

Union case definitions

Case definitions in a union definition distinguish between different type cases.

Notes:

not supported

Definition: 

case_def := case_label(*) element_spec ';'