mk
open fun <T : KBvSort> mkBvUnsignedDivExprNoSimplify(arg0: KExpr<T>, arg1: KExpr<T>): KBvUnsignedDivExpr<T>
Create BitVec arithmetic unsigned division (bvudiv) expression.
See also
for the signed division.