def node_left

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

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

196def node_left(~K: Data, n: Node<K>) -> Nat:
197  match n:
198    case Free{x}:
199      0n
200    case N{c, l, r, p, k}:
201      l

Uses (2)

Used by (19)