diff options
Diffstat (limited to 'src/main.ml')
| -rw-r--r-- | src/main.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/main.ml b/src/main.ml index d32d9d42..444a416e 100644 --- a/src/main.ml +++ b/src/main.ml @@ -7,14 +7,12 @@ type declaration = | Fun of FunDefId.id | RecTypes of TypeDefId.id list | RecFuns of FunDefId.id list -[@@deriving of_yojson] type rust_module = { declarations : declaration list; types : type_def TypeDefId.vector; functions : fun_def FunDefId.vector; } -[@@deriving of_yojson] let () = (* let json = Yojson.Basic.from_string "{\"Return\"}" in |