mk
open fun <T : KBvSort> mkBvSignedModExprNoSimplify(arg0: KExpr<T>, arg1: KExpr<T>): KBvSignedModExpr<T>
Create BitVec arithmetic signed mod (bvsmod) expression.
See also
for the operation details.