Trait snarkvm_wasm::prelude::Add [−][src]
pub trait Add<F, Rhs = Self> where
F: Field, { type ErrorType; fn add<CS>(&self, cs: CS, other: &Self) -> Result<Self, Self::ErrorType>
where
CS: ConstraintSystem<F>; }
Expand description
Returns addition of self
+ other
in the constraint system.