Refactor webbw

[hcoop/zz_old/domtool.git] / src / util.sig

diff --git a/src/util.sig b/src/util.sig
index 445ae43..635ef67 100644 (file)
--- a/src/util.sig
+++ b/src/util.sig
@@ -79,4 +79,7 @@ sig
     val enrichSetFromFile : string * StringSet.set -> StringSet.set
     (* Add the entries in the file to the set.
      * A "CLEAR" entry clears the set. *)
+
+    val mergeSort : ('a * int) list -> ('a * int) list
+    (* Sort the argument list in descending integer order. *)
 end