from

@JvmStatic()
@JvmOverloads()
fun from(pairs: Sequence<Pair<Term, Term>>, equalityChecker: (Term, Term) -> Boolean = Term::equals): Sequence<Equation>
Content copied to clipboard
@JvmStatic()
@JvmOverloads()
fun from(pairs: Iterable<Pair<Term, Term>>, equalityChecker: (Term, Term) -> Boolean = Term::equals): Sequence<Equation>
Content copied to clipboard
@JvmStatic()
@JvmOverloads()
fun from(vararg pairs: Pair<Term, Term>, equalityChecker: (Term, Term) -> Boolean = Term::equals): Sequence<Equation>
Content copied to clipboard