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

package Integer_Sorted_Multisets is
   new Charles.Multisets.Sorted.Unbounded (Integer);

pragma Preelaborate (Integer_Sorted_Multisets);



