1---- 2with Ada.Containers.Indefinite_Vectors; 3 4package Predicate2.Containers is 5 6 subtype Count_Type is Ada.Containers.Count_Type; 7 8 package Value_Type_List is 9 new Ada.Containers.Indefinite_Vectors (Positive, Value_Type); 10 11 subtype Value_List is Value_Type_List.Vector; 12 13end Predicate2.Containers; 14