AndExpr constructor

Implementation

AndExpr(Iterable<Expr<bool>> items)
    : items = List.unmodifiable(items.fold<List<Expr<bool>>>([], (p, e) {
        if (e is AndExpr) {
          p.addAll(e.items);
        } else {
          p.add(e);
        }
        return p;
      }));