mk
open fun <T : KBvSort> mkBvUnsignedRemExprNoSimplify(arg0: KExpr<T>, arg1: KExpr<T>): KBvUnsignedRemExpr<T>
Create BitVec arithmetic unsigned reminder (bvurem) expression.
See also
for the signed remainder.