type uri = string;; let eq uri1 uri2 = uri1 = uri2 ;; let string_of_uri uri = uri;; let uri_of_string str = str;; let name_of_uri uri = let l = Str.split (Str.regexp "/") uri in let name_suf = List.nth l (List.length l - 1) in List.hd (Str.split (Str.regexp "\.") name_suf) ;; let depth_of_uri uri = List.length (Str.split (Str.regexp "/") uri) - 2 ;;