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

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

lo + mi * 2^{LIMB_BITS}