diff options
| -rw-r--r-- | src/main.ml | 14 |
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 |