mk
open fun <T : KBvSort> mkBvSignedRemExprNoSimplify(arg0: KExpr<T>, arg1: KExpr<T>): KBvSignedRemExpr<T>
Create BitVec arithmetic signed reminder (bvsrem) expression.
See also
for the operation details.
for the unsigned remainder.