diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-08-13 02:36:20 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-08-23 03:06:56 +0000 |
| commit | 403f1a62f66c33a7d39c17704f34debe579c89b0 (patch) | |
| tree | f731949f79035fa08a8b0bb65e2ddc91d265438d /lib/kernel/BranchManager.mli | |
| parent | 33653002e66f83ec10f4382dd4ad3c18dbf2abff (diff) | |
| download | RNT-403f1a62f66c33a7d39c17704f34debe579c89b0.tar.gz RNT-403f1a62f66c33a7d39c17704f34debe579c89b0.zip | |
BranchManager stubs
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/BranchManager.mli | 11 |
1 files changed, 11 insertions, 0 deletions
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 |