of

@JvmStatic()
@JvmOverloads()
fun of(lhs: Term, rhs: Term, equalityChecker: (Term, Term) -> Boolean = Term::equals): Equation
Content copied to clipboard

Creates an Equation with provided left-hand and right-hand sides

@JvmStatic()
@JvmOverloads()
fun of(pair: Pair<Term, Term>, equalityChecker: (Term, Term) -> Boolean = Term::equals): Equation
Content copied to clipboard

Creates an Equation from given Pair