The real trees form a class of metric spaces that extends the class of trees with edge lengths by allowing behavior such as locally infinite total edge length and vertices with infinite branching ...