mk
open fun <T : KBvSort> mkBvUnsignedLessOrEqualExprNoSimplify(arg0: KExpr<T>, arg1: KExpr<T>): KBvUnsignedLessOrEqualExpr<T>
Create BitVec unsigned less-or-equal (bvule) expression.