mk
open fun <T : KBvSort> mkBvUnsignedLessExprNoSimplify(arg0: KExpr<T>, arg1: KExpr<T>): KBvUnsignedLessExpr<T>
Create BitVec unsigned less (bvult) expression.
Create BitVec unsigned less (bvult) expression.