diff options
author | Son Ho | 2022-03-03 13:20:26 +0100 |
---|---|---|
committer | Son Ho | 2022-03-03 13:20:26 +0100 |
commit | 90195f830788f53d214754a732bd094247a91c70 (patch) | |
tree | 4f5d2c748e61e06008e77430b29e5da513c4b8bd /src/Modules.ml | |
parent | df04dee24f1c83998aa314382f70e3961def8f10 (diff) |
Rename CFIM to LLBC
Diffstat (limited to '')
-rw-r--r-- | src/Modules.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Modules.ml b/src/Modules.ml index 3ee4c9ed..f52983c6 100644 --- a/src/Modules.ml +++ b/src/Modules.ml @@ -1,5 +1,5 @@ open Types -open CfimAst +open LlbcAst type 'id g_declaration_group = NonRec of 'id | Rec of 'id list [@@deriving show] @@ -15,7 +15,7 @@ type declaration_group = | Fun of fun_declaration_group [@@deriving show] -type cfim_module = { +type llbc_module = { name : string; declarations : declaration_group list; types : type_decl list; @@ -23,7 +23,7 @@ type cfim_module = { } (** LLBC module - TODO: rename to crate *) -let compute_defs_maps (m : cfim_module) : +let compute_defs_maps (m : llbc_module) : type_decl TypeDeclId.Map.t * fun_decl FunDeclId.Map.t = let types_map = List.fold_left |