mk
open fun <T : KBvSort> mkBvSignedLessExprNoSimplify(arg0: KExpr<T>, arg1: KExpr<T>): KBvSignedLessExpr<T>
Create BitVec signed less (bvslt) expression.
Create BitVec signed less (bvslt) expression.