pub fn xor<'st, const N: usize>( st: &'st Storage, terms: [Bool<'st>; N], ) -> Bool<'st>
Construct the term expressing (xor ...terms).
(xor ...terms)