Function negate_inputs 

pub fn negate_inputs<T>(
    circuit: Circuit<T>,
    to_neg: impl IntoIterator<Item = T>,
) -> Circuit<T>
where
    T: Clone + Copy + Ord + PartialEq + Eq + Default + TryFrom<usize>,
    <T as TryFrom<usize>>::Error: Debug,
    usize: TryFrom<T>,
    <usize as TryFrom<T>>::Error: Debug,

Generates circuit with negated original circuit inputs from original circuit.

A to_neg is iterator (list) of circuit inputs to negate. Function returns new circuit that behaves same as original circuit if all circuit inputs will have negated values.