pub fn lincomb_boxed_monty_form(
products: &[(&BoxedMontyForm, &BoxedMontyForm)],
modulus: &Odd<BoxedUint>,
mod_neg_inv: Limb,
mod_leading_zeros: u32,
) -> BoxedUintpub fn lincomb_boxed_monty_form(
products: &[(&BoxedMontyForm, &BoxedMontyForm)],
modulus: &Odd<BoxedUint>,
mod_neg_inv: Limb,
mod_leading_zeros: u32,
) -> BoxedUint