(Pxp_core_types.ext_id * Pxp_reader.resolver) list -> Pxp_reader.resolver