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