mk
open fun <T : KBvSort> mkBvUnsignedGreaterOrEqualExprNoSimplify(arg0: KExpr<T>, arg1: KExpr<T>): KBvUnsignedGreaterOrEqualExpr<T>
Create BitVec unsigned greater-or-equal (bvuge) expression.