Function compact_limb

pub fn compact_limb<F: Field, ChallengeTerm, T: ExprOps<F, ChallengeTerm>>(
    lo: &T,
    mi: &T,
) -> T

lo + mi * 2^{LIMB_BITS}