1with Gen_Formal_Pkg_A;
2
3generic
4   type T1 is private;
5   with package Ai is new Gen_Formal_Pkg_A (T1);
6package Gen_Formal_Pkg_B is end;
7