Trait snarkvm_wasm::prelude::NEqGadget [−][src]
pub trait NEqGadget<F>: Eq where
F: Field, { fn enforce_not_equal<CS>(
&self,
cs: CS,
other: &Self
) -> Result<(), SynthesisError>
where
CS: ConstraintSystem<F>; fn cost() -> usize; }