apply
@JvmOverloads()
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
fun apply(substitution: Substitution, equalityChecker: (Term, Term) -> Boolean = Term::equals): Equation