Index Zurück Fenster schliessen |
formal_package_declaration formal_package_declaration ::= with package defining_identifier is new generic_package_name formal_package_actual_part; siehe LRM 12.7 wird genutzt von: generic_formal_parameter_declaration |