From c55092be9108898cb31ed79fe2c341a7a9f7d3bf Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Fri, 31 Jul 2026 00:56:01 -0300
Subject: initialization

---
 lib/kernel/Initialization.mli | 19 +++++++++++++++++++
 1 file changed, 19 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..35e6f22
--- /dev/null
+++ b/lib/kernel/Initialization.mli
@@ -0,0 +1,19 @@
+type address = Concepts.Hash.hash
+
+type t
+
+val fixed_label : string
+val fixed_label_address : address
+
+include Concepts.Object.S with type t := t
+
+val make : default_branch:string -> branches:address -> t
+
+val default_branch : t -> string
+val branches : t -> address
+val address : t -> address
+
+module Make (Store : Abstract.Storage.STORAGE) : sig
+  val register : Store.transaction -> t -> (address, Concepts.Condition.condition) result
+  val load : Store.transaction -> (t option, Concepts.Condition.condition) result
+end
-- 
cgit v1.2.3