Function all_true 

pub fn all_true(
    b: &CircuitBuilder,
    booleans: impl IntoIterator<Item = Wire>,
) -> Wire

Check that all boolean wires in an iterable are simultaneously true.