diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-12 11:47:14 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-12 11:47:14 -0300 |
| commit | a3acc318ead5620ac20f70815b4dfb0810ccd2a4 (patch) | |
| tree | e1bf3b6331c07005a83650da36499a931dfeb24d /lib/kernel/Tuple.ml | |
| parent | c66c3c82fda2f68e5aac62d16657d8a77e6d91ee (diff) | |
| download | RNT-a3acc318ead5620ac20f70815b4dfb0810ccd2a4.tar.gz RNT-a3acc318ead5620ac20f70815b4dfb0810ccd2a4.zip | |
abstracting headers and merkle of list construction
Diffstat (limited to 'lib/kernel/Tuple.ml')
| -rw-r--r-- | lib/kernel/Tuple.ml | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/lib/kernel/Tuple.ml b/lib/kernel/Tuple.ml index 9dbbc17..41babe9 100644 --- a/lib/kernel/Tuple.ml +++ b/lib/kernel/Tuple.ml @@ -89,15 +89,7 @@ module Make (S : Abstract.Storage.STORAGE) = struct let make tx ~type_ attributes = let open Utilities.Result in - let* node = - AttributeM.with_batch tx (fun () -> - BatMap.String.enum attributes - |> BatEnum.fold - (fun node (name, value) -> - let* node = node in - AttributeM.insert tx name value node ) - (Ok AttributeM.empty) ) - in + let* node = AttributeM.of_list tx (BatMap.String.bindings attributes) in Ok {type_; attributes= AttributeM.hash_of node} let attribute tx tuple name = |
