init_bound_rows

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

Function init_bound_rows 

Source 
fn init_bound_rows<F: PrimeField>(
    witness: &mut [Vec<F>; 15],
    offset: usize,
    result: &[F; 3],
    bound: &[F; 3],
    carry: &F,
)