From 403f1a62f66c33a7d39c17704f34debe579c89b0 Mon Sep 17 00:00:00 2001
From: Estevan Castilho <tevo@riajuu.net>
Date: Thu, 13 Aug 2026 02:36:20 +0000
Subject: BranchManager stubs

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

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

diff --git a/lib/kernel/BranchManager.mli b/lib/kernel/BranchManager.mli
new file mode 100644
index 0000000..1b572af
--- /dev/null
+++ b/lib/kernel/BranchManager.mli
@@ -0,0 +1,11 @@
+type branch = string            (* FIXME *)
+
+module Make (S : Abstract.Storage.STORAGE) : sig
+  type manager
+
+  val initialize : S.connection -> Concepts.Hash.hash -> (manager, Concepts.Condition.condition) result
+  val fetch : manager -> string -> (Concepts.Branch.t option, Concepts.Condition.condition) result
+  val update : manager -> string -> (branch -> branch) -> (manager, Concepts.Condition.condition) result
+
+  (* TODO: fork, join *)
+end
-- 
cgit v1.2.3