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

package Integer_Unbounded_Double_Lists is
   new Charles.Lists.Double.Unbounded (Integer);

pragma Preelaborate (Integer_Unbounded_Double_Lists);
