type_spec

type_spec 
      ::= simple_type_spec | constr_type_spec 

This rule is called by

-> element_spec
-> member
-> type_declarator