Move some definitions from CfimOfJson.ml to a new Modules.ml

1 files changed, 21 insertions, 0 deletions

diff --git a/src/Modules.ml b/src/Modules.ml
new file mode 100644
index 00000000..a2b1d3bf
--- /dev/null
+++ b/src/Modules.ml
@@ -0,0 +1,21 @@
+open Yojson.Basic
+open Identifiers
+open Types
+open OfJsonBasic
+open Scalars
+open Values
+open CfimAst
+
+(** Module declaration *)
+type declaration =
+  | Type of TypeDefId.id
+  | Fun of FunDefId.id
+  | RecTypes of TypeDefId.id list
+  | RecFuns of FunDefId.id list
+
+type cfim_module = {
+  declarations : declaration list;
+  types : type_def TypeDefId.vector;
+  functions : fun_def FunDefId.vector;
+}
+(** CFIM module *)