def node_left
import bend-collections@1.0.0.0/src/containers/balanced_search_tree.bend as BalancedSearchTreeimport Base
196def node_left(~K: Data, n: Node<K>) -> Nat:
197 match n:
198 case Free{x}:
199 0n
200 case N{c, l, r, p, k}:
201 l
Uses (2)
Used by (19)
- bend-collections@1.0.0.0/src/containers/balanced_search_tree:delete_borrow_right
- 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_right_1
- bend-collections@1.0.0.0/src/containers/balanced_search_tree:delete_borrow_read_right_2
- bend-collections@1.0.0.0/src/containers/balanced_search_tree:delete_far_left
- …