A tree symbol substituter that substitutes on type skolems.
If a type parameter is a skolem, it looks for the original
symbol in the 'from' and maps it to the corresponding new
symbol. The new symbol should probably be a type skolem as
well (not enforced).
All private members are made protected in order to be accessible from
specialized classes.
A tree symbol substituter that substitutes on type skolems. If a type parameter is a skolem, it looks for the original symbol in the 'from' and maps it to the corresponding new symbol. The new symbol should probably be a type skolem as well (not enforced).
All private members are made protected in order to be accessible from specialized classes.