Function fill_outputs 

pub fn fill_outputs<T>(
    circuit: Circuit<T>,
    out_map: Vec<OutputEntry<T>>,
) -> Circuit<T>
where
    T: Default + Clone + Copy + PartialEq + Eq + PartialOrd + Ord + TryFrom<usize>,
    <T as TryFrom<usize>>::Error: Debug,
    usize: TryFrom<T>,
    <usize as TryFrom<T>>::Error: Debug,

Fill circuit outputs by zero or one wire based on output map given by assign_to_circuit.

out_map is map of new outputs. If out_map doesn’t have entries with new index then this routine do nothing. Otherwise it adds new gate that returns correct value for particular circuit output and remap rest of circuit output. The final circuit have all circuit outputs given in out_map including assigned outputs.