pub fn expr<F: Field, E: Expr<F>, I: IntoIterator<Item = E>>( inputs: I ) -> Expression<F>
Returns an expression that evaluates to 1 only if all the expressions in the given list are 1, else returns 0.