bvNot function

UnaryOp bvNot(Expr x)

Implementation

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