def nparent

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

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

99def nparent(~K: Data, n: Node<K>) -> Nat:
100  match n:
101    case Free{x}:
102      0n
103    case N{c, l, r, p, k}:
104      p

Uses (2)

Used by (1)