with Charles.Lists.Double.Bounded;
pragma Elaborate_All (Charles.Lists.Double.Bounded);

package Integer_Bounded_Double_Lists is
   new Charles.Lists.Double.Bounded (Integer);

pragma Preelaborate (Integer_Bounded_Double_Lists);
