def node_right

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

import bend-collections@1.0.0.0/src/containers/balanced_search_tree.bend as BalancedSearchTree
import 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)