bvNeg function

UnaryOp bvNeg(
  1. Expr x
)

Implementation

UnaryOp bvNeg(Expr x) => UnaryOp(UnaryOpKind.bvNeg, x).declare();