Searched defs:open_prev (Results 1 – 1 of 1) sorted by relevance
2599 let open_prev = self.pkt_num_spaces[epoch] in recv_single() localVariable8211 let open_prev = space.crypto_open.replace(open_next); in client_update_key() localVariable