diff options
Diffstat (limited to 'lib/kernel/BranchManager.mli')
| -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 |