-
Hans-Peter Deifel authored
This returns the size of the tree, not the actual number of elements (there can be more elements per node) and thus should not be in the public API.
58691da0
This returns the size of the tree, not the actual number of elements (there can be more elements per node) and thus should not be in the public API.