def child

bend-collections@1.0.0.0 · src/containers/balanced_search_tree.bend:537

import bend-collections@1.0.0.0/src/containers/balanced_search_tree.bend as BalancedSearchTree
import Base

537def child(~K: Data, +n: Node<K>, forward: Bool) -> Nat:
538  pick(Nat, forward, node_right(~K, n), node_left(~K, n))

Uses (6)

Used by (1)