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