From d512411992a6a2b50fcdf03689129f70f530116f Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 1 Aug 2026 14:22:05 -0300
Subject: Initialization with Branch State and Index

---
 lib/kernel/Initialization.mli | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 lib/kernel/Initialization.mli

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

diff --git a/lib/kernel/Initialization.mli b/lib/kernel/Initialization.mli
new file mode 100644
index 0000000..4f98215
--- /dev/null
+++ b/lib/kernel/Initialization.mli
@@ -0,0 +1,10 @@
+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 read : Store.connection -> (branch_index_root option, Concepts.Condition.condition) result
+  val initialize : Store.connection -> (branch_index_root, Concepts.Condition.condition) result
+end
-- 
cgit v1.2.3