<p>A Balanced Tree Type is a data type that defines the properties of data structures that represent balanced trees.
A balanced tree is a tree where no leaf is much farther away from the root than any other leaf.
Different balancing schemes allow different definitions of "much farther" and different amounts of work to keep them balanced.
</p>