setAdd function

Expr setAdd(
  1. Expr x,
  2. Expr y
)

Implementation

Expr setAdd(Expr x, Expr y) => store(x, y, trueExpr);