with Limited1_Inner; use Limited1_Inner;
package Limited1_Outer is
type Outer_Type (What : Boolean) is record
Inner : Inner_Type (What);
end record;
function Make_Outer return Outer_Type;
end Limited1_Outer;