Index   Zurück   Fenster schliessen	formal_discrete_type_definition formal_discrete_type_definition ::= (<>) siehe LRM 12.5.2 wird genutzt von: formal_type_definition