Cleanup more

1 files changed, 0 insertions, 14 deletions

diff --git a/src/main.ml b/src/main.ml
index 436355bf..b82485b2 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -1,19 +1,5 @@
-open Types
-open CfimAst
 open CfimOfJson
 
-type declaration =
-  | Type of TypeDefId.id
-  | Fun of FunDefId.id
-  | RecTypes of TypeDefId.id list
-  | RecFuns of FunDefId.id list
-
-type rust_module = {
-  declarations : declaration list;
-  types : type_def TypeDefId.vector;
-  functions : fun_def FunDefId.vector;
-}
-
 let () =
   let json = Yojson.Basic.from_file "../charon/charon/tests/test1.cfim" in
   match cfim_module_of_json json with