Function storage_proofs_core::gadgets::constraint::add
source ยท pub fn add<Scalar: PrimeField, CS: ConstraintSystem<Scalar>>(
cs: CS,
a: &AllocatedNum<Scalar>,
b: &AllocatedNum<Scalar>,
) -> Result<AllocatedNum<Scalar>, SynthesisError>