1package Renaming12 is 2 3 type Index_Type is range 0 .. 40; 4 5 type Rec1 is record 6 B : Boolean; 7 end record; 8 9 type Arr is array (Index_Type range <>) of Rec1; 10 11 type Rec2 (Count : Index_Type := 0) is record 12 A : Arr (1 .. Count); 13 end record; 14 15 package Ops is 16 17 function "=" (L : Rec2; R : Rec2) return Boolean renames Renaming12."="; 18 19 end Ops; 20 21 procedure Dummy; 22 23end Renaming12; 24