def side_at

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

import Base

808def side_at(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, nodes: NodeStore<K>, +left: Bool, +i: Nat) -> NodeStore<K> & Nat:
809  match left:
810    case True{}:
811      ns_left_at(~K, nodes, i)
812    case False{}:
813      ns_right_at(~K, nodes, i)