Equivalence between named access and anonymous access.

[Blady <p.p11@orange.fr>]

Hello,

I'm wondering about named access and anonymous access.
In the following Ada code, are the writing of parameter P1 type of 
procedures PA and PB equivalent ?

package C1 is
   type Inst is tagged null record;
   type Class is access all Inst'Class;
end C1;

with C1;
package C2 is
   type Inst is tagged null record;
   type Class is access all Inst'Class;

   procedure PA (Self : Inst; P1 : C1.Class); -- named access
   procedure PB (Self : Inst; P1 : access C1.Inst'Class); -- anonymous 
access
end C2;

Same with:
   function FA (Self : Inst) return C1.Class; -- named access
   function FB (Self : Inst) return access C1.Inst'Class; -- anonymous 
access

Are FA and FB writing equivalent?
If not why?

Thanks, Pascal.