ksmt-core/io.ksmt.expr.rewrite.simplify/KBvExprSimplifier/areDefinitelyDistinctBv

areDefinitelyDistinctBv

open fun <T : KBvSort> areDefinitelyDistinctBv(lhs: KExpr<T>, rhs: KExpr<T>): Boolean