andN function

NaryOp andN(Iterable<Expr> args)

Implementation

NaryOp andN(Iterable<Expr> args) =>
    NaryOp(NaryOpKind.and, args.toList()).declare();