ksmt-core/io.ksmt.expr.rewrite.simplify/ExpressionOrdering/compare

compare

open override fun compare(left: KExpr<*>, right: KExpr<*>): Int