Searched defs:bob_current_leaf (Results 1 – 1 of 1) sorted by relevance
3436 let bob_current_leaf = tree.get_leaf_node(bob).unwrap(); in committing_update_from_pk1_to_pk2_and_update_from_pk2_to_pk3_works() localVariable3513 let bob_current_leaf = tree.get_leaf_node(bob).unwrap(); in committing_update_from_pk1_to_pk2_and_removal_of_pk2_works() localVariable