blob: ec7bfc758bd7f2011c8b657e07d6b4e964a92291 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
type address = Concepts.Hash.hash
type root = address
type branch_name = string
type branch_state_root = address
val default_branch_name : branch_name
module Make (Store : Abstract.Storage.STORAGE) : sig
type tree
val empty : tree
val empty_under : Store.transaction -> (address, Concepts.Condition.condition) result
val hash_of : tree -> root
val find : Store.transaction -> root -> (tree option, Concepts.Condition.condition) result
val find_branch :
Store.transaction ->
branch_name ->
tree ->
(branch_state_root option, Concepts.Condition.condition) result
val put_branch :
Store.transaction ->
branch_name ->
branch_state_root ->
tree ->
(tree, Concepts.Condition.condition) result
end
|
