mk
open fun <T : KBvSort> mkBvSignedGreaterOrEqualExprNoSimplify(arg0: KExpr<T>, arg1: KExpr<T>): KBvSignedGreaterOrEqualExpr<T>
Create BitVec signed greater-or-equal (bvsge) expression.