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