pub fn and<'st, const N: usize>(
st: &'st Storage,
terms: [Bool<'st>; N],
) -> Bool<'st>Expand description
Construct the term expressing (and ...terms) representing the conjunction
of all of the terms. That is to say, the result is true iff all terms in
terms is true.