def ntag

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

import Base

74def ntag(~K: Data, n: Node<K>) -> Nat:
75  match n:
76    case Free{x}:
77      0n
78    case N{c, l, r, p, k}:
79      match c:
80        case True{}:
81          2n
82        case False{}:
83          1n