init_ffadd_row

kimchi::circuits::polynomials::foreign_field_add::witness

Function init_ffadd_row 

Source 
fn init_ffadd_row<F: PrimeField>(
    witness: &mut [Vec<F>; 15],
    offset: usize,
    left: [F; 3],
    right: [F; 3],
    overflow: F,
    carry: F,
)