def with_limit

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

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

823def with_limit(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, +limit: Nat) -> TreeMap<K, V, cmp>:
824  TM{0n, 0n, 0n, 0n, 0n, ns_with_limit(~K, limit), D.with_limit_at(~Maybe<&2, V>, limit)}