case_exp

case_exp 
      ::= 
      case_abbreviation 
      | case_spec

[rule list]

This rule is called by

-> value_exp_primary