apply
fun apply(substitution: <ERROR CLASS>, equalityChecker: (<ERROR CLASS>, <ERROR CLASS>) -> Boolean = Term::equals): Equation
Content copied to clipboard
Applies given substitution to the Equation left-hand and right-hand sides, returning the new Equation
To modify default equality between Terms, a custom equalityChecker can be provided