andN function

NaryOp andN(
  1. Iterable<Expr> args
)

Implementation

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