type uri
val eq : uri -> uri -> bool
+val compare : uri -> uri -> int
val uri_of_string : string -> uri
(* 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
type uriref = uri * (int list)
val string_of_uriref : uriref -> string
+module UriSet: Set.S with type elt = uri
+