pub fn constraint_num_bits<E: Engine, CS: ConstraintSystem<E>>(
cs: &mut CS,
el: &Num<E>,
num_bits: usize,
) -> Result<(), SynthesisError>
pub fn constraint_num_bits<E: Engine, CS: ConstraintSystem<E>>(
cs: &mut CS,
el: &Num<E>,
num_bits: usize,
) -> Result<(), SynthesisError>