blob: 3da99ab0ae57c5e03edff06e3dd17dbe5c133e67 [file] [log] [blame]
package deref1 is
type T is tagged limited null record;
procedure Op (Obj : in out T);
end deref1;