Trait snarkvm_wasm::ConditionalOrEqualsGadget[][src]

pub trait ConditionalOrEqualsGadget<F> where
    F: Field
{ fn conditional_enforce_equal_or<CS>(
        cs: CS,
        cond: &Boolean,
        var: &Self,
        first: &Self,
        second: &Self,
        should_enforce: &Boolean
    ) -> Result<(), SynthesisError>
    where
        CS: ConstraintSystem<F>
;
fn cost() -> usize; }

Required methods

Implementors