1 files changed, 0 insertions, 19 deletions
diff --git a/src/LlbcAst.ml b/src/LlbcAst.ml
index 149fb23d..f5ffc956 100644
--- a/src/LlbcAst.ml
+++ b/src/LlbcAst.ml
@@ -170,24 +170,6 @@ and switch_targets =
         concrete = true;
       }]
 
-type fun_decl = {
-  def_id : FunDeclId.id;
-  name : fun_name;
-  signature : fun_sig;
-  arg_count : int;
-  locals : var list;
-  body : statement;
-}
-[@@deriving show]
-(** TODO: function definitions (and maybe type definitions in the future)
-  * contain information like `divergent`. I wonder if this information should
-  * be stored directly inside the definitions or inside separate maps/sets.
-  * Of course, if everything is stored in separate maps/sets, nothing
-  * 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]
 
@@ -198,4 +180,3 @@ type fun_decl = {
   body : fun_body option;
 }
 [@@deriving show]
-*)