Index   Zurück   Fenster schliessen	record_type_definition record_type_definition ::= [[abstract] tagged] [limited] record_definition siehe LRM 3.8 wird genutzt von: type_definition