@@ -432,7 +432,7 @@ is
function Element
(Container : Vector;
- Index : Index_Type) return Element_Type
+ Index : Extended_Index) return Element_Type
is
begin
if Index > Container.Last then
@@ -284,7 +284,7 @@ is
function Element
(Container : Vector;
- Index : Index_Type) return Element_Type
+ Index : Extended_Index) return Element_Type
with
Global => null,
Pre => Index in First_Index (Container) .. Last_Index (Container),
@@ -370,7 +370,7 @@ is
function Element
(Container : Vector;
- Index : Index_Type) return Element_Type
+ Index : Extended_Index) return Element_Type
is
begin
if Index > Container.Last then
@@ -263,7 +263,7 @@ is
function Element
(Container : Vector;
- Index : Index_Type) return Element_Type
+ Index : Extended_Index) return Element_Type
with
Global => null,
Pre => Index in First_Index (Container) .. Last_Index (Container),