def view_clear

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

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

1844def view_clear(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, view: View<K, V, cmp>) -> View<K, V, cmp>:
1845  View{TM{+n, root, lo, hi, free, nodes, payloads}, lower, upper, descending} = view
1846  view_clear_loop(~K, ~V, ~cmp, 1n+n, iterator_next(~K, ~V, ~cmp, view_iterator(~K, ~V, ~cmp, View{TM{n, root, lo, hi, free, nodes, payloads}, lower, upper, descending})))

Uses (7)

Used by (0)

No other definition uses this definition.