ksmt-core/io.ksmt.expr.rewrite.simplify/simplifyEq

simplifyEq

fun <T : KSort> KContext.simplifyEq(lhs: KExpr<T>, rhs: KExpr<T>, order: Boolean = true): KExpr<KBoolSort>