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

package Integer_Bounded_Single_Lists is
   new Charles.Lists.Single.Bounded (Integer);

pragma Preelaborate (Integer_Bounded_Single_Lists);




