generic_instantiation

generic_instantiation ::= 
      ( "package" defining_program_unit_name "is" 
      "new" package_name [ generic_actual_part ] ";" ) 
      | ( "procedure" defining_program_unit_name "is" 
      "new" procedure_name [ generic_actual_part ] ";" ) 
      | ( "function" defining_designator "is" 
      "new" function_name [ generic_actual_part ] ";" ) 

This rule is called by

-> basic_declaration
-> library_unit_declaration