addN function

NaryOp addN(Iterable<Expr> args)

Implementation

NaryOp addN(Iterable<Expr> args) =>
    NaryOp(NaryOpKind.add, args.toList()).declare();