discriminant_part

discriminant_part ::= known_discriminant_part | ( "(" "<>" ")" ) 

This rule is called by

-> formal_type_declaration
-> incomplete_type_declaration
-> private_extension_declaration
-> private_type_declaration