blob: 873aa369b48ff14d9df6ebcdfe0d85ca3cfb8666 (
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 by the evaluators under [root]. *)
module Make (S : Abstract.Storage.STORAGE) : sig
val make :
?root:Protocols.Handle.t ->
S.connection ->
string ->
(Protocols.Handle.t, Concepts.Condition.condition) result
end
|
