variant_part

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

This rule is called by

-> record_definition
-> variant