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

package Integer_Unbounded_Single_Lists is
   new Charles.Lists.Single.Unbounded (Integer);

pragma Preelaborate (Integer_Unbounded_Single_Lists);

