all
fun allOf(pair: Pair<<ERROR CLASS>, <ERROR CLASS>>, equalityChecker: (<ERROR CLASS>, <ERROR CLASS>) -> Boolean = Term::equals): Sequence<Equation>
Content copied to clipboard
Creates all equations resulting from the deep inspection of given Pair of Terms
fun allOf( lhs: <ERROR CLASS>, rhs: <ERROR CLASS>, equalityChecker: (<ERROR CLASS>, <ERROR CLASS>) -> Boolean = Term::equals): Sequence<Equation>
Content copied to clipboard
Creates all equations resulting from the deep inspection of provided left-hand and right-hand sides' Term