2 package Limited1_Inner
is
3 type Limited_Type
is new Ada
.Finalization
.Limited_Controlled
with record
4 Self
: access Limited_Type
:= Limited_Type
'Unchecked_Access;
6 overriding
procedure Finalize
(X
: in out Limited_Type
);
8 type Inner_Type
(What
: Boolean) is record
17 function Make_Inner
return Inner_Type
;