company logo

Case label

A case label defines either a specific case or the default case.

Notes:

not supported

Definition: 

case_label := case_inst | default_def