bvSMulNoUnderflow function

BinaryOp bvSMulNoUnderflow(
  1. Expr x,
  2. Expr y
)

Implementation

BinaryOp bvSMulNoUnderflow(Expr x, Expr y) =>
    BinaryOp(BinaryOpKind.bvSMulNoUnderflow, x, y).declare();