Trait snarkvm_wasm::prelude::EvaluateLtGadget [−][src]
pub trait EvaluateLtGadget<F> where
F: Field, { fn less_than<CS>(
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>
where
CS: ConstraintSystem<F>; }
Required methods
fn less_than<CS>(&self, cs: CS, other: &Self) -> Result<Boolean, SynthesisError> where
CS: ConstraintSystem<F>,