A class for copying trees. The copy methods avoid creating a new tree
If all arguments stay the same.
Note: Some of the copy methods take a context.
These are exactly those methods that are overridden in TypedTreeCopier
so that they selectively retype themselves. Retyping needs a context.
A class for copying trees. The copy methods avoid creating a new tree If all arguments stay the same.
Note: Some of the copy methods take a context. These are exactly those methods that are overridden in TypedTreeCopier so that they selectively retype themselves. Retyping needs a context.