Trait snarkvm_gadgets::traits::integers::add::Add[−][src]

pub trait Add<F: Field, Rhs = Self> where
    Self: Sized, {
    type ErrorType;
    fn add<CS: ConstraintSystem<F>>(
        &self, 
        cs: CS, 
        other: &Self
    ) -> Result<Self, Self::ErrorType>;
}
Expand description

Returns addition of self + other in the constraint system.

Associated Types

Required methods

Implementors