def node_right
import bend-collections@1.0.0.0/src/containers/balanced_search_tree.bend as BalancedSearchTreeimport Base
203def node_right(~K: Data, n: Node<K>) -> Nat:
204 match n:
205 case Free{x}:
206 0n
207 case N{c, l, r, p, k}:
208 r
Uses (2)
Used by (17)
- bend-collections@1.0.0.0/src/containers/balanced_search_tree:delete_borrow_left
- bend-collections@1.0.0.0/src/containers/balanced_search_tree:child
- bend-collections@1.0.0.0/src/containers/balanced_search_tree:delete_borrow_read_left_1
- bend-collections@1.0.0.0/src/containers/balanced_search_tree:delete_borrow_read_left_2
- bend-collections@1.0.0.0/src/containers/balanced_search_tree:delete_far_right
- …