Using nested package type as type's private part declaration

Question

package P is
   type T is private;
private
   package NP is
      type T is null record;
   end NP;
end P;

It is possible to use NP.T as full declaration of P.T?

user_10975520 · Answer

What you can do is declare P.T in terms of NP.T as shown below.

p.ads

package P is
   
   type T is private;
   
private
   
   package NP is
      type T is null record;
   end NP;
   
   type T is new NP.T;
   
end P;