generic child package

[nblanpain@hotmail.com]

Is my example correct ? :

------------------------------
generic
   with type T_Toto is private;
package Parent is
   pragma Pure;
end Parent;
------------------------------

------------------------------
generic
package Parent.Child1 is
   type T_Child1 is tagged private;
   ....
end Parent.Child1;
------------------------------

------------------------------
generic
   with P_Child1 is new Parent.Child1;   ----- or with P_Child1 is new
Parent.Child1 (<>); ?????
package Parent.Child2 is
   type T_Child2 is new P_Child1.T_Child1 with private;
   ....
end Parent.Child2;
------------------------------

Is there or problem or is it correct ?

Thanks,