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>