with Charles.Sets.Sorted.Unbounded;
pragma Elaborate_All (Charles.Sets.Sorted.Unbounded);

package Integer_Sorted_Sets is
   new Charles.Sets.Sorted.Unbounded (Integer);

pragma Preelaborate (Integer_Sorted_Sets);


