move boolean

compiler/src/constraints/expression.rs

@@ -2,13 +2,13 @@
 
 use crate::{
     comparator::{ComparatorGadget, EvaluateLtGadget},
-    constraints::{
-        boolean::{enforce_and, enforce_or, evaluate_not, new_bool_constant},
-        new_scope,
-        ConstrainedProgram,
-    },
+    constraints::{new_scope, ConstrainedProgram},
     errors::ExpressionError,
-    value::{ConstrainedCircuitMember, ConstrainedValue},
+    value::{
+        boolean::{enforce_and, enforce_or, evaluate_not, new_bool_constant},
+        ConstrainedCircuitMember,
+        ConstrainedValue,
+    },
     Address,
     FieldType,
     GroupType,

compiler/src/constraints/function.rs

@@ -3,15 +3,9 @@
 
 use crate::{
     address::Address,
-    constraints::{
-        boolean::bool_from_input,
-        field::field_from_input,
-        group::group_from_input,
-        new_scope,
-        ConstrainedProgram,
-    },
+    constraints::{field::field_from_input, group::group_from_input, new_scope, ConstrainedProgram},
     errors::{FunctionError, StatementError},
-    value::ConstrainedValue,
+    value::{boolean::bool_from_input, ConstrainedValue},
     GroupType,
     Integer,
 };

compiler/src/constraints/mod.rs

@@ -1,7 +1,5 @@
 //! Module containing methods to enforce constraints in an Leo program
 
-pub mod boolean;
-
 pub(crate) mod comparator;
 pub(crate) use comparator::*;
 

compiler/src/value/mod.rs

@@ -1,2 +1,4 @@
+pub mod boolean;
+
 pub mod value;
 pub use self::value::*;

compiler/src/value/value.rs

@@ -1,7 +1,7 @@
 //! The in memory stored value for a defined name in a resolved Leo program.
 
 use crate::{
-    constraints::boolean::{allocate_bool, new_bool_constant},
+    boolean::{allocate_bool, new_bool_constant},
     errors::{ExpressionError, FieldError, ValueError},
     is_in_scope,
     new_scope,