diff options
Diffstat (limited to 'lib/kernel/Branch.mli')
| -rw-r--r-- | lib/kernel/Branch.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/kernel/Branch.mli b/lib/kernel/Branch.mli index 02be2ed..82bdbb7 100644 --- a/lib/kernel/Branch.mli +++ b/lib/kernel/Branch.mli @@ -1,5 +1,6 @@ module Make (S : Abstract.Storage.STORAGE) : sig type t - val load : S.transaction -> S.connection -> string -> Concepts.Hash.hash -> (Protocols.Handle.t, Concepts.Condition.condition) result + val make : S.connection -> (Protocols.Handle.t, Concepts.Condition.condition) result + val load : S.transaction -> S.connection -> Concepts.Hash.hash -> (Protocols.Handle.t, Concepts.Condition.condition) result end |