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