Function circuit_table 

pub fn circuit_table<T>(
    circuit: &Circuit<T>,
    index_inputs: impl IntoIterator<Item = T>,
) -> (Circuit<T>, Vec<Option<T>>, Vec<Vec<OutputEntry<T>>>)
where
    T: Default + Clone + Copy + PartialEq + Eq + PartialOrd + Ord + Hash + TryFrom<usize>,
    <T as TryFrom<usize>>::Error: Debug,
    usize: TryFrom<T> + TryFrom<u32>,
    <usize as TryFrom<T>>::Error: Debug,

Generates circuit table. Circuit that for given index inputs calculates outputs for all combinations of index inputs for this circuit. index_inputs is list of index inputs. Function reduces duplication circuits.

Function returns circuit, list of mapping old inputs to new inputs and list of all mappings of outputs for all index inputs combinations.