diff options
author | Son Ho | 2022-03-03 13:23:13 +0100 |
---|---|---|
committer | Son Ho | 2022-03-03 13:23:13 +0100 |
commit | 80d0d22f152386ffe28b48f42f42f8f736170014 (patch) | |
tree | ba7fe1f56cedc2124ca27f54ebefde2a4bfda49d /src/LlbcAst.ml | |
parent | 90195f830788f53d214754a732bd094247a91c70 (diff) |
Rename CfimOfJson to LlbcOfJson
Diffstat (limited to 'src/LlbcAst.ml')
-rw-r--r-- | src/LlbcAst.ml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/LlbcAst.ml b/src/LlbcAst.ml index f597cd27..149fb23d 100644 --- a/src/LlbcAst.ml +++ b/src/LlbcAst.ml @@ -186,3 +186,16 @@ type fun_decl = { * prevents us from computing this info in Charon (and thus exporting directly * it with the type/function defs), in which case we just have to implement special * treatment when deserializing, to move the info to a separate map. *) + +(* +type fun_body = { arg_count : int; locals : var list; body : statement } +[@@deriving show] + +type fun_decl = { + def_id : FunDeclId.id; + name : fun_name; + signature : fun_sig; + body : fun_body option; +} +[@@deriving show] +*) |