full_type_declaration

full_type_declaration ::= 
      ( "type" defining_identifier [ known_discriminant_part ] 
      "is" type_definition ";" ) 
      | task_type_declaration | protected_type_declaration 

This rule is called by

-> type_declaration