atom_class_def

atom_class_def ::= ":" base_type [ "(" literal ".." literal ")" ] 

This rule is called by

-> class_specif