fix imports

compiler/src/constraints/definitions/import.rs

@@ -1,4 +1,4 @@
-use crate::{errors::ImportError, ConstrainedProgram, GroupType, ImportedPrograms, ImportedSymbols};
+use crate::{errors::ImportError, imported_symbols::ImportedSymbols, ConstrainedProgram, GroupType, ImportedPrograms};
 use leo_types::Import;
 
 use snarkos_models::curves::{Field, PrimeField};

compiler/src/constraints/definitions/mod.rs

@@ -2,7 +2,6 @@ pub mod import;
 pub use self::import::*;
 
 pub mod imported_symbols;
-pub(crate) use self::imported_symbols::*;
 
 pub mod definitions;
 

compiler/src/constraints/expression.rs

@@ -1,13 +1,14 @@
 //! Methods to enforce constraints on expressions in a resolved Leo program.
 
 use crate::{
-    constraints::{ConstrainedCircuitMember, ConstrainedProgram, ConstrainedValue},
+    constraints::{
-    enforce_and,
+        boolean::{enforce_and, enforce_or, evaluate_not, new_bool_constant},
-    enforce_or,
+        new_scope,
+        ConstrainedCircuitMember,
+        ConstrainedProgram,
+        ConstrainedValue,
+    },
     errors::ExpressionError,
-    evaluate_not,
-    new_bool_constant,
-    new_scope,
     FieldType,
     GroupType,
 };

compiler/src/constraints/function.rs

@@ -2,11 +2,15 @@
 //! a resolved Leo program.
 
 use crate::{
-    bool_from_input,
+    constraints::{
-    constraints::{new_scope, ConstrainedProgram, ConstrainedValue},
+        boolean::bool_from_input,
+        field::field_from_input,
+        group::group_from_input,
+        new_scope,
+        ConstrainedProgram,
+        ConstrainedValue,
+    },
     errors::{FunctionError, StatementError},
-    field_from_input,
-    group_from_input,
     GroupType,
 };
 use leo_types::{Expression, Function, InputValue, Integer, Span, Type};

compiler/src/constraints/mod.rs

@@ -1,7 +1,6 @@
 //! Module containing methods to enforce constraints in an Leo program
 
-pub(crate) mod boolean;
+pub mod boolean;
-pub(crate) use self::boolean::*;
 
 pub mod function;
 pub use self::function::*;
@@ -9,17 +8,15 @@ pub use self::function::*;
 pub mod expression;
 pub use self::expression::*;
 
-pub(crate) mod field;
+pub mod field;
-pub(crate) use self::field::*;
 
 pub mod generate_constraints;
 pub use self::generate_constraints::*;
 
-pub(crate) mod group;
+pub mod group;
-pub(crate) use self::group::*;
 
-pub(crate) mod definitions;
+pub mod definitions;
-pub(crate) use self::definitions::*;
+pub use self::definitions::*;
 
 pub mod program;
 pub use self::program::*;

compiler/src/constraints/value.rs

@@ -1,11 +1,12 @@
 //! The in memory stored value for a defined name in a resolved Leo program.
 
 use crate::{
-    allocate_bool,
+    constraints::{
-    allocate_field,
+        boolean::{allocate_bool, new_bool_constant},
-    allocate_group,
+        field::allocate_field,
+        group::allocate_group,
+    },
     errors::ValueError,
-    new_bool_constant,
     new_scope,
     FieldType,
     GroupType,

compiler/src/errors/constraints/mod.rs

@@ -1,25 +1,25 @@
 //! Module containing errors returned when enforcing constraints in an Leo program
 
 pub mod boolean;
-pub use boolean::*;
+pub use self::boolean::*;
 
 pub mod function;
-pub use function::*;
+pub use self::function::*;
 
 pub mod expression;
-pub use expression::*;
+pub use self::expression::*;
 
 pub mod import;
-pub use import::*;
+pub use self::import::*;
 
 pub mod field;
-pub use field::*;
+pub use self::field::*;
 
 pub mod group;
-pub use group::*;
+pub use self::group::*;
 
 pub mod value;
-pub use value::*;
+pub use self::value::*;
 
 pub mod statement;
-pub use statement::*;
+pub use self::statement::*;