def child
import bend-collections@1.0.0.0/src/containers/balanced_search_tree.bend as BalancedSearchTreeimport Base
537def child(~K: Data, +n: Node<K>, forward: Bool) -> Nat:
538 pick(Nat, forward, node_right(~K, n), node_left(~K, n))
import bend-collections@1.0.0.0/src/containers/balanced_search_tree.bend as BalancedSearchTreeimport Base
537def child(~K: Data, +n: Node<K>, forward: Bool) -> Nat:
538 pick(Nat, forward, node_right(~K, n), node_left(~K, n))