Cleanup the dependencies a bit

10 files changed, 0 insertions, 51 deletions

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index f3e94dbe..e74aa1e7 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -1,22 +1,4 @@
-module T = Types
-module V = Values
-open Scalars
-module E = Expressions
-open Errors
-module C = Contexts
-module Subst = Substitute
-module A = CfimAst
 module L = Logging
-open TypesUtils
-open ValuesUtils
-module Inv = Invariants
-module S = Synthesis
-open Utils
-open InterpreterUtils
-open InterpreterProjectors
-open InterpreterBorrows
-open InterpreterExpansion
-open InterpreterPaths
 open InterpreterExpressions
 open InterpreterStatements
 
diff --git a/src/InterpreterBorrows.ml b/src/InterpreterBorrows.ml
index e8503d57..33501939 100644
--- a/src/InterpreterBorrows.ml
+++ b/src/InterpreterBorrows.ml
@@ -1,14 +1,10 @@
 module T = Types
 module V = Values
-open Scalars
 module E = Expressions
-open Errors
 module C = Contexts
 module Subst = Substitute
 module A = CfimAst
 module L = Logging
-open TypesUtils
-open ValuesUtils
 module Inv = Invariants
 module S = Synthesis
 open Utils
diff --git a/src/InterpreterExpansion.ml b/src/InterpreterExpansion.ml
index 7b249717..30be657f 100644
--- a/src/InterpreterExpansion.ml
+++ b/src/InterpreterExpansion.ml
@@ -5,9 +5,7 @@
 
 module T = Types
 module V = Values
-open Scalars
 module E = Expressions
-open Errors
 module C = Contexts
 module Subst = Substitute
 module A = CfimAst
@@ -16,7 +14,6 @@ open TypesUtils
 open ValuesUtils
 module Inv = Invariants
 module S = Synthesis
-open Utils
 open InterpreterUtils
 open InterpreterProjectors
 open InterpreterBorrows
diff --git a/src/InterpreterExpressions.ml b/src/InterpreterExpressions.ml
index 1b2a9859..b08c8749 100644
--- a/src/InterpreterExpressions.ml
+++ b/src/InterpreterExpressions.ml
@@ -5,16 +5,11 @@ module E = Expressions
 open Errors
 module C = Contexts
 module Subst = Substitute
-module A = CfimAst
 module L = Logging
-open TypesUtils
 open ValuesUtils
 module Inv = Invariants
 module S = Synthesis
-open Utils
 open InterpreterUtils
-open InterpreterProjectors
-open InterpreterBorrows
 open InterpreterExpansion
 open InterpreterPaths
 
diff --git a/src/InterpreterPaths.ml b/src/InterpreterPaths.ml
index 7e9fa7dd..fa9fe1a8 100644
--- a/src/InterpreterPaths.ml
+++ b/src/InterpreterPaths.ml
@@ -1,19 +1,12 @@
 module T = Types
 module V = Values
-open Scalars
 module E = Expressions
-open Errors
 module C = Contexts
 module Subst = Substitute
-module A = CfimAst
 module L = Logging
-open TypesUtils
-open ValuesUtils
 module Inv = Invariants
 module S = Synthesis
-open Utils
 open InterpreterUtils
-open InterpreterProjectors
 open InterpreterBorrows
 open InterpreterExpansion
 
diff --git a/src/InterpreterProjectors.ml b/src/InterpreterProjectors.ml
index 9c99f8c9..9a487c89 100644
--- a/src/InterpreterProjectors.ml
+++ b/src/InterpreterProjectors.ml
@@ -1,8 +1,6 @@
 module T = Types
 module V = Values
-open Scalars
 module E = Expressions
-open Errors
 module C = Contexts
 module Subst = Substitute
 module A = CfimAst
diff --git a/src/InterpreterStatements.ml b/src/InterpreterStatements.ml
index d52ec0e7..91035574 100644
--- a/src/InterpreterStatements.ml
+++ b/src/InterpreterStatements.ml
@@ -1,8 +1,6 @@
 module T = Types
 module V = Values
-open Scalars
 module E = Expressions
-open Errors
 module C = Contexts
 module Subst = Substitute
 module A = CfimAst
@@ -11,10 +9,8 @@ open TypesUtils
 open ValuesUtils
 module Inv = Invariants
 module S = Synthesis
-open Utils
 open InterpreterUtils
 open InterpreterProjectors
-open InterpreterBorrows
 open InterpreterExpansion
 open InterpreterPaths
 open InterpreterExpressions
diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml
index dc5a0477..be3d606c 100644
--- a/src/InterpreterUtils.ml
+++ b/src/InterpreterUtils.ml
@@ -2,9 +2,7 @@
 
 module T = Types
 module V = Values
-open Scalars
 module E = Expressions
-open Errors
 module C = Contexts
 module Subst = Substitute
 module A = CfimAst
diff --git a/src/Modules.ml b/src/Modules.ml
index 5b76880f..bf5e9835 100644
--- a/src/Modules.ml
+++ b/src/Modules.ml
@@ -1,4 +1,3 @@
-open Yojson.Basic
 open Types
 open CfimAst
 
diff --git a/src/Synthesis.ml b/src/Synthesis.ml
index d240714e..de482b18 100644
--- a/src/Synthesis.ml
+++ b/src/Synthesis.ml
@@ -1,15 +1,10 @@
 module T = Types
 module V = Values
-open Scalars
 module E = Expressions
-open Errors
 module C = Contexts
 module Subst = Substitute
 module A = CfimAst
 module L = Logging
-open TypesUtils
-open ValuesUtils
-module Inv = Invariants
 open InterpreterUtils
 
 (* TODO: the below functions have very "rough" signatures and do nothing: I