diff options
Diffstat (limited to 'src/Modules.ml')
-rw-r--r-- | src/Modules.ml | 21 |
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 *) |