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

simplifyBvUnsignedLessExpr

fun <T : KBvSort> KContext.simplifyBvUnsignedLessExpr(lhs: KExpr<T>, rhs: KExpr<T>): KExpr<KBoolSort>