binius_m3::gadgets::add

Type Alias U32Incr

Source 
pub type U32Incr = Incr<u32, 32>;

Aliased Type§

struct U32Incr {
    pub input: [Col<BinaryField1b>; 32],
    pub zout: [Col<BinaryField1b>; 32],
    pub final_carry_out: Col<BinaryField1b>,
    /* private fields */
}

Fields§

§input: [Col<BinaryField1b>; 32]

Input column as bits.

§zout: [Col<BinaryField1b>; 32]

Output column as bits.

§final_carry_out: Col<BinaryField1b>

Output carry bit if there is any.