aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/BranchManager.mli
blob: 9fa10caa8ee2b3b5a07d2de93f0e3e89a6a38b5c (plain) (blame)
1
2
3
4
5
6
7
8
9
(** The heads of the branches, persisted under [label]. Branches it hands
    out run their stored programs through [evaluators]. *)
module Make (S : Abstract.Storage.STORAGE) : sig
  val make :
    ?evaluators:Protocols.Handle.t ->
    S.connection ->
    string ->
    (Protocols.Handle.t, Concepts.Condition.condition) result
end