Function kimchi::circuits::expr::constraints::compact_limb

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

lo + mi * 2^{LIMB_BITS}