let string_of_uri (_, uri) = uri;;
+let name_of_uri (_, uri) =
+ let name = Filename.basename uri in
+ Filename.chop_extension name
+;;
+
module OrderedStrings =
struct
type t = string
end;;
module UriHash = Hashtbl.Make(HT);;
-
-let ouri_of_nuri u = UriManager.uri_of_string (string_of_uri u);;
-let nuri_of_ouri o = uri_of_string (UriManager.string_of_uri o);;
-