Index   Zurück   Fenster schliessen	known_discriminant_part known_discriminant_part ::= (discriminant_specification {; discriminant_specification}) siehe LRM 3.7 wird genutzt von: discriminant_part full_type_declaration protected_type_declaration task_type_declaration