mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-26 11:45:00 +03:00
move comparator
This commit is contained in:
parent
654c623789
commit
e98c344f76
@ -1,5 +1,8 @@
|
|||||||
//! Conversion of integer declarations to constraints in Leo.
|
//! Conversion of integer declarations to constraints in Leo.
|
||||||
use crate::{errors::IntegerError, ComparatorGadget, EvaluateLtGadget};
|
use crate::{
|
||||||
|
comparator::{ComparatorGadget, EvaluateLtGadget},
|
||||||
|
errors::IntegerError,
|
||||||
|
};
|
||||||
use leo_types::{InputValue, IntegerType, Span};
|
use leo_types::{InputValue, IntegerType, Span};
|
||||||
|
|
||||||
use snarkos_errors::gadgets::SynthesisError;
|
use snarkos_errors::gadgets::SynthesisError;
|
||||||
|
@ -1,8 +1,5 @@
|
|||||||
//! Module containing methods to enforce constraints in an Leo program
|
//! Module containing methods to enforce constraints in an Leo program
|
||||||
|
|
||||||
pub(crate) mod comparator;
|
|
||||||
pub(crate) use comparator::*;
|
|
||||||
|
|
||||||
pub mod function;
|
pub mod function;
|
||||||
pub use self::function::*;
|
pub use self::function::*;
|
||||||
|
|
||||||
|
@ -1,6 +1,9 @@
|
|||||||
//! A data type that represents a field value
|
//! A data type that represents a field value
|
||||||
|
|
||||||
use crate::{errors::FieldError, ComparatorGadget, EvaluateLtGadget};
|
use crate::{
|
||||||
|
comparator::{ComparatorGadget, EvaluateLtGadget},
|
||||||
|
errors::FieldError,
|
||||||
|
};
|
||||||
use leo_types::Span;
|
use leo_types::Span;
|
||||||
|
|
||||||
use snarkos_errors::gadgets::SynthesisError;
|
use snarkos_errors::gadgets::SynthesisError;
|
||||||
|
@ -1,4 +1,6 @@
|
|||||||
pub mod boolean;
|
pub mod boolean;
|
||||||
|
|
||||||
|
pub(crate) mod comparator;
|
||||||
|
|
||||||
pub mod value;
|
pub mod value;
|
||||||
pub use self::value::*;
|
pub use self::value::*;
|
||||||
|
Loading…
Reference in New Issue
Block a user