protected_type_declaration

protected_type_declaration ::= 
      "protected" "type" defining_identifier [ known_discriminant_part ] 
      "is" protected_definition ";" 

[rule list]
This rule is called by

-> full_type_declaration