X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Furimanager%2FuriManager.mli;h=771def7c172913e265008a447f1d753e0b29d89e;hb=aca103d3c3d740efcc0bcc2932922cff77facb49;hp=703b0b4f1629e12639d64767a2c825b274fb49c8;hpb=9c63adaf9bd7a10eb9f7450528d7895115ee533e;p=helm.git

diff --git a/helm/ocaml/urimanager/uriManager.mli b/helm/ocaml/urimanager/uriManager.mli
index 703b0b4f1..771def7c1 100644
--- 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
 
@@ -40,6 +41,8 @@ val depth_of_uri  : uri -> int     (* length of the path *)
 (* i.e. removes the [.types][.ann] suffix                       *)
 val cicuri_of_uri : uri -> uri
 
+val strip_xpointer: uri -> uri      (* remove trailing #xpointer..., if any *)
+
 (* given an uri, returns the uri of the corresponding annotation file, *)
 (* i.e. adds the .ann suffix if not already present                    *)
 val annuri_of_uri : uri -> uri
@@ -65,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
+