cardinal_decl

cardinal_decl ::= "*" ( integer_constant | 
      "(" integer_constant ".." integer_constant ")" ) 

This rule is called by

-> tuple_class_def