switch_body

switch_body 
      ::= case { case } 

This rule is called by

-> union_type