1with Limited1_Inner; use Limited1_Inner;
2
3package Limited1_Outer is
4   type Outer_Type (What : Boolean) is record
5      Inner : Inner_Type (What);
6   end record;
7
8   function Make_Outer return Outer_Type;
9end Limited1_Outer;
10