merged changes from the svn fork by me and Enrico

[helm.git] / helm / ocaml / urimanager / uriManager.mli

diff --git a/helm/ocaml/urimanager/uriManager.mli b/helm/ocaml/urimanager/uriManager.mli
index 12775af8d48fd9a3168fbc149bfc7ebbf7ec4766..771def7c172913e265008a447f1d753e0b29d89e 100644 (file)
--- a/helm/ocaml/urimanager/uriManager.mli
+++ b/helm/ocaml/urimanager/uriManager.mli
@@ -28,6 +28,7 @@ exception IllFormedUri of string;;
 type uri
 
 val eq : uri -> uri -> bool
+val compare : uri -> uri -> int
 
 val uri_of_string : string -> uri
 
@@ -67,3 +68,5 @@ val mutconstruct:     uri -> uri * int * int
 type uriref = uri * (int list)
 val string_of_uriref : uriref -> string
 
+module UriSet: Set.S with type elt = uri
+