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>; }