def ns_empty

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

import Base

458def ns_empty(~K: Data, +limit: Nat) -> NodeStore<K>:
459  NS{limit, 0n, 1n, 0n, ns_nats(0n), ns_nats(0n), ns_nats(0n), ns_nats(0n), ns_nokeys(~K, 0n)}