pub fn reduce_xor(i: impl IntoIterator<Item = Gate>) -> GateExpand description
Constructs a gate that evaluates to true if and only if an odd number of the
gates returned by i evaulate to true.
The construction has logarithmic depth in the length if i.