Function halo2_ecc::bigint::mul_no_carry::crt

pub fn crt<F: ScalarField>(
    gate: &impl GateInstructions<F>,
    ctx: &mut Context<F>,
    a: CRTInteger<F>,
    b: CRTInteger<F>,
    num_limbs_log2_ceil: usize
) -> CRTInteger<F>