binius_m3::gadgets::indexed_lookup::incr

Function merge_incr_vals

Source 
pub fn merge_incr_vals(
    input: u8,
    carry_in: bool,
    output: u8,
    carry_out: bool,
) -> u32
Expand description

Merges the input, output, carry-in, and carry-out values into a single u32 for lookup.