Module gadgets::util::and

Returns 1 when expr[0] && expr[1] && ... == 1, and returns 0 otherwise. Inputs need to be boolean

Functions

• expr
  Returns an expression that evaluates to 1 only if all the expressions in the given list are 1, else returns 0.
• value
  Returns the product of all given values.