ksmt-core/io.ksmt/KContext/mkBvUnsignedGreaterOrEqualExpr

mkBvUnsignedGreaterOrEqualExpr

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

Create BitVec unsigned greater-or-equal (bvuge) expression.