blob: 865d68db002783582ef5526585a1bea1bc04d843 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
(** A branch state: its multigroups, and under [previous] the state it
succeeded. Given [root], the stored programs read through it run, by
the evaluators registered under [root], against it. *)
module Make (S : Abstract.Storage.STORAGE) : sig
type t
val make : S.connection -> (Protocols.Handle.t, Concepts.Condition.condition) result
val load :
?root:Protocols.Handle.t ->
S.transaction ->
S.connection ->
Concepts.Hash.hash ->
(Protocols.Handle.t, Concepts.Condition.condition) result
end
|
