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