val string_of_uri : uri -> string (* complete uri *)
val name_of_uri : uri -> string (* name only (without extension)*)
+val nameext_of_uri : uri -> string (* name only (with extension)*)
val buri_of_uri : uri -> string (* base uri only, without trailing '/' *)
(* given an uri, returns the uri of the corresponding cic file, *)
val uri_of_uriref : uri -> int -> int option -> uri
module UriSet: Set.S with type elt = uri
+(*module UriPairSet: Set.S with type elt = uri * uri*)
module UriHashtbl : Hashtbl.S with type key = uri