push_pop (221B)
1 # Push pop 2 3 The kinds of [updates_word] where you can do [push_operations] and [pop_operations] 4 5 - [dynamic_membership_push_pop] 6 - [push_pop_distance] 7 8 For [dynamic_membership] 9 10 Up: [update_word] 11 12 Aliases: push pop edits