(string * Netplex_types.processor) list -> Netplex_types.processor