NaryOp constructor

NaryOp(NaryOpKind kind, List<Expr> args)

Implementation

NaryOp(this.kind, this.args);