not function

UnaryOp not(Expr x)

Implementation

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