3 type NT is tagged limited private;
5 function PT_View (Obj : not null access NT)
6 return not null access deref1.T'Class;
8 type PT (Obj : not null access NT) is new deref1.T with null record;
10 type NT is tagged limited record
11 PT_View : aliased PT (NT'Access);