type_declaration

type_declaration ::= full_type_declaration 
      | incomplete_type_declaration 
      | private_type_declaration 
      | private_extension_declaration 

This rule is called by

-> basic_declaration