mk
open fun <T : KBvSort> mkBvSignedGreaterExprNoSimplify(arg0: KExpr<T>, arg1: KExpr<T>): KBvSignedGreaterExpr<T>
Create BitVec signed greater (bvsgt) expression.
Create BitVec signed greater (bvsgt) expression.