Trait snarkvm_wasm::prelude::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 = SynthesisErrorpub fn neg<CS>(&self, cs: CS) -> Result<Vec<Boolean, Global>, SynthesisError> where
CS: ConstraintSystem<F>,