Applies this substitution to an object.
Applies this substitution to an object.
The type of x.
The type of x substituted.
The object to be substituted.
Testifies that applying a Substitution to an element of type T will result in an element of type U.