diff options
Diffstat (limited to 'compiler/Crates.ml')
| -rw-r--r-- | compiler/Crates.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Crates.ml b/compiler/Crates.ml index 844afb94..eb47a8e1 100644 --- a/compiler/Crates.ml +++ b/compiler/Crates.ml @@ -16,6 +16,7 @@ type declaration_group = | Global of GlobalDeclId.id [@@deriving show] +(** LLBC crate *) type llbc_crate = { name : string; declarations : declaration_group list; @@ -23,7 +24,6 @@ type llbc_crate = { functions : fun_decl list; globals : global_decl list; } -(** LLBC crate *) let compute_defs_maps (c : llbc_crate) : type_decl TypeDeclId.Map.t |