mk
open fun <T : KBvSort> mkBvSignedLessOrEqualExprNoSimplify(arg0: KExpr<T>, arg1: KExpr<T>): KBvSignedLessOrEqualExpr<T>
Create BitVec signed less-or-equal (bvsle) expression.