with Types; use Types;

package Update_Checks_Multidim_Unconstr is

   procedure Test1  (A       : in out AM;
                     X       : in IT1;
                     Y       : in IT2;
                     Z       : in IT3;
                     New_Val : in ET1);

end Update_Checks_Multidim_Unconstr;
