minus

Returns a new substitution containing all entries of the original substitution except those entries which variable keys are contained in the given keys iterable.

Regardless of its type, the resulting Substitution will contain the same tags of the original one

Returns a new substitution without the entry (if any) for variable.

Returns a new substitution without the entries (if any) for variable and otherVariables.

Returns a new substitution containing all entries of the original substitution except those entries which variable keys are contained in the given other substitution.

Regardless of its type, the resulting Substitution will contain the same tags of the original one