This function is defunct and has been replaced by map_depth()
.
See also modify_depth()
for a version that preserves the types of
the elements of the tree.
This function is defunct and has been replaced by map_depth()
.
See also modify_depth()
for a version that preserves the types of
the elements of the tree.