diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-08-13 00:26:10 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-08-23 03:06:55 +0000 |
| commit | f885a8f7dd85d79c5c8aa93265f5dea781b345a9 (patch) | |
| tree | 2fc4c72e0436a278dc01d0387f38d1e0080d8284 /lib/kernel/BranchIndex.ml | |
| parent | a727eb4351df972ff2e34fa111aeb435e70cdbd4 (diff) | |
| download | RNT-f885a8f7dd85d79c5c8aa93265f5dea781b345a9.tar.gz RNT-f885a8f7dd85d79c5c8aa93265f5dea781b345a9.zip | |
Avoid exporting `persist`
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/BranchIndex.ml | 2 | ||||
| -rw-r--r-- | lib/kernel/BranchIndex.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/kernel/BranchIndex.ml b/lib/kernel/BranchIndex.ml index d1efa9a..00bd44d 100644 --- a/lib/kernel/BranchIndex.ml +++ b/lib/kernel/BranchIndex.ml @@ -21,8 +21,8 @@ module Make (Store : Abstract.Storage.STORAGE) = struct type tree = Tree.node let empty = Tree.empty + let empty_under = Tree.empty_under let hash_of = Tree.hash_of - let persist = Tree.persist let find = Tree.find let find_branch = Tree.lookup let put_branch = Tree.insert 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 : |