From 465f3378daea5a6f0d44f3729c3551a9cda78ed9 Mon Sep 17 00:00:00 2001
From: Estevan Castilho <tevo@riajuu.net>
Date: Thu, 20 Aug 2026 00:00:36 +0000
Subject: BranchManager sketch

---
 lib/kernel/Initialization.mli | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 lib/kernel/Initialization.mli

(limited to 'lib/kernel/Initialization.mli')

diff --git a/lib/kernel/Initialization.mli b/lib/kernel/Initialization.mli
deleted file mode 100644
index 5c348bd..0000000
--- a/lib/kernel/Initialization.mli
+++ /dev/null
@@ -1,9 +0,0 @@
-type address = Concepts.Hash.hash
-type branch_index_root = address
-
-val fixed_label : string
-val fixed_label_address : address
-
-module Make (Store : Abstract.Storage.STORAGE) : sig
-  val initialize : Store.connection -> (branch_index_root, Concepts.Condition.condition) result
-end
-- 
cgit v1.2.3