Function kimchi::circuits::polynomials::range_check::witness::extend_multi_compact

pub fn extend_multi_compact<F: PrimeField>(
    witness: &mut [Vec<F>; 15],
    v01: F,
    v2: F
)

Extend and existing witness with a multi range check witness for two limbs: v01 (176 bits), v2 (88 bits), where v2 is the most significant limb and v01 is the least significant limb