1package Ancestor_Type is 2 3 type T is tagged private; 4 5 package B is 6 function make return T; 7 end B; 8 9private 10 type T is tagged record 11 n: Natural; 12 end record; 13end Ancestor_Type; 14