(string * Pxp_reader.resolver) list -> Pxp_reader.resolver