class lookup_system_id :This is the generic builder for URL-based catalog resolvers: The catalog argument specifies pairs(string * resolver) list ->
resolver
(url, r)
mapping URL's identifiers to
subresolvers.
The subresolver is invoked if an entity with the corresponding URL
id is to be opened.
Important note: Two URL's are considered as equal if they are equal in their string representation. (This may not what you want and may cause trouble... However, I currently do not know how to implement a "semantic" comparison logic.)
Note: SYSTEM
IDs are simply compared literally, without making
relative IDs absolute. See norm_system_id
below for improving this.