diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/BranchIndex.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/kernel/BranchIndex.mli b/lib/kernel/BranchIndex.mli index 5a867bf..ec7bfc7 100644 --- a/lib/kernel/BranchIndex.mli +++ b/lib/kernel/BranchIndex.mli @@ -9,8 +9,8 @@ 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 persist : Store.transaction -> tree -> (root, Concepts.Condition.condition) result val find : Store.transaction -> root -> (tree option, Concepts.Condition.condition) result val find_branch : |