Trait snarkvm_wasm::traits::Neg [−][src]
pub trait Neg<F> where
F: Field, { type ErrorType; fn neg<CS>(&self, cs: CS) -> Result<Self, Self::ErrorType>
where
CS: ConstraintSystem<F>; }
Expand description
Returns a negated representation of self
in the constraint system.
Associated Types
Required methods
fn neg<CS>(&self, cs: CS) -> Result<Self, Self::ErrorType> where
CS: ConstraintSystem<F>,
Implementations on Foreign Types
type ErrorType = SynthesisError
pub fn neg<CS>(&self, cs: CS) -> Result<Vec<Boolean, Global>, SynthesisError> where
CS: ConstraintSystem<F>,