get
This is an alias for apply aimed at supporting a square-brackets syntax for substitutions applications in Kotlin programs. It lets programmers write object[substitution] instead of object.apply(substitution). It applies one or more Substitutions to the current object, producing a new Term which differs from the current one because variables are replaced by their values, according to the binding carried by the provided substitutions.
This method behaves like apply, assuming that the provided substitutions have been merged by means of Substitution.of.
Return
an instance of T where variables in substitution are replaced by their values
Parameters
is the first Substitution to be applied to the current object
is the vararg argument representing the 2nd, 3rd, etc., Substitutions to be applied
See also
Throws
if the composition of the provided substitutions is of type Substitution.Fail