pub trait VecZnxAddConstIntoBackend<B>where
B: Backend,{
// Required method
fn vec_znx_add_const_into_backend(
&self,
res: &mut VecZnx<<B as Backend>::BufMut<'_>>,
res_col: usize,
a: &VecZnx<<B as Backend>::BufRef<'_>>,
a_col: usize,
cnst: &VecZnx<<B as Backend>::BufRef<'_>>,
cnst_col: usize,
cnst_coeff: usize,
res_limb: usize,
res_coeff: usize,
);
}