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