~/jendhub

def ns_clear_go

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

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

769def ns_clear_go(~K: Data, k: Nat, s: NodeStore<K>) -> NodeStore<K>:
770  match k:
771    case 0n:
772      s
773    case 1n+ +m:
774      ns_clear_go(~K, m, ns_drop(~K, s, m))

Uses (3)

Used by (1)