Function storage_proofs_core::gadgets::constraint::sub

source ยท 
pub fn sub<Scalar: PrimeField, CS: ConstraintSystem<Scalar>>(
    cs: CS,
    a: &AllocatedNum<Scalar>,
    b: &AllocatedNum<Scalar>,
) -> Result<AllocatedNum<Scalar>, SynthesisError>