In [1]} section 4 “Binary decorated trees and dilatations”, I propose a formalism for making easy various calculations with dilation structures. This formalism works with moves acting on binary decorated trees, with the leaves decorated with elements of a metric space.
