(* adds an (URI -> URL) entry in the map from URIs to URLs *)
val register : UriManager.uri -> string -> unit
+
+exception Unresolved
+exception UnexpectedGetterOutput
+
+(* resolves an URI to its corresponding URL. *)
+(* Unresolved is raised if there is no URL for the given URI. *)
+(* UnexceptedGetterOutput is raised if the output of the real *)
+(* getter has not the expected format. *)
+val resolve: UriManager.uri -> string