Index Zurück Fenster schliessen |
discriminant_part discriminant_part ::= unknown_discriminant_part | known_discriminant_part siehe LRM 3.7 wird genutzt von: formal_type_declaration incomplete_type_declaration private_extension_declaration private_type_declaration |