~/jendhub

def view_size

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

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

1552def view_size(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, view: View<K, V, cmp>) -> View<K, V, cmp> & Nat:
1553  View{TM{+n, root, lo, hi, free, nodes, payloads}, lower, upper, descending} = view
1554  view_count_loop(~K, ~V, ~cmp, 1n+n, 0n, iterator_next(~K, ~V, ~cmp, view_iterator(~K, ~V, ~cmp, View{TM{n, root, lo, hi, free, nodes, payloads}, lower, upper, descending})))

Uses (8)

Used by (0)

No other definition uses this definition.