From a3acc318ead5620ac20f70815b4dfb0810ccd2a4 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Mon, 12 Oct 2026 11:47:14 -0300
Subject: abstracting headers and merkle of list construction

---
 lib/kernel/Tuple.ml | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

(limited to 'lib/kernel/Tuple.ml')

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 =
-- 
cgit v1.2.3