Class Pxp_reader.lookup_public_id

class lookup_public_id : (string * resolver) list -> resolver
This is the generic builder for PUBLIC id catalog resolvers: The list (catalog) argument specifies pairs (pubid, r) mapping PUBLIC identifiers to subresolvers.

The subresolver is invoked if an entity with the corresponding PUBLIC id is to be opened.