notEq function

UnaryOp notEq(
  1. Expr x,
  2. Expr y
)

Implementation

UnaryOp notEq(Expr x, Expr y) => not(eq(x, y));