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