Searched refs:rcvd_resources (Results 1 – 1 of 1) sorted by relevance
285 let rcvd_resources = rcvd_cert.resources(); in update_rcvd_cert_current() localVariable293 … let rcvd_resources_diff = rcvd_resources.difference(current_key.incoming_cert().resources()); in update_rcvd_cert_current()