variant_part

variant_part ::= 
      "case" direct_name "is" 
      variant { variant } 
      "end" "case" ";" 

[rule list]
This rule is called by

-> record_definition -> variant