mk
open fun <T : KBvSort> mkBvUnsignedGreaterExprNoSimplify(arg0: KExpr<T>, arg1: KExpr<T>): KBvUnsignedGreaterExpr<T>
Create BitVec unsigned greater (bvugt) expression.