~/jendhub

def ns_with_limit

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

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

635def ns_with_limit(~K: Data, +k: Nat) -> NodeStore<K>:
636  ns_empty(~K, D.clamp_limit(k, Nat.is_lt(k, D.max_depth())))

Uses (6)

Used by (1)