ksmt-core/io.ksmt/KContext/mkBvUnsignedLessOrEqualExpr

mkBvUnsignedLessOrEqualExpr

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

Create BitVec unsigned less-or-equal (bvule) expression.