Index
Zurück
Fenster schliessen
formal_modular_type_definition
formal_modular_type_definition ::= mod <>
siehe LRM 12.5.2
wird genutzt von:
formal_type_definition