for Vector'Read use Read;
- Empty_Vector : constant Vector := (Controlled with null, No_Index, 0, 0);
-
type Vector_Access is access constant Vector;
for Vector_Access'Storage_Size use 0;
for Cursor'Read use Read;
+ Empty_Vector : constant Vector := (Controlled with null, No_Index, 0, 0);
+
No_Element : constant Cursor := Cursor'(null, Index_Type'First);
end Ada.Containers.Vectors;