def nleft

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

import Base

85def nleft(~K: Data, n: Node<K>) -> Nat:
86  match n:
87    case Free{x}:
88      x
89    case N{c, l, r, p, k}:
90      l

Uses (2)