mkBvUnsignedGreaterExpr

open fun <T : KBvSort> mkBvUnsignedGreaterExpr(arg0: KExpr<T>, arg1: KExpr<T>): KExpr<KBoolSort>

Create BitVec unsigned greater (bvugt) expression.