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