From b79224410f469a1cd4ff3be4f8e62d71398109fc Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Fri, 11 Sep 2026 04:06:52 +0000 Subject: Multigroup objects --- lib/kernel/Merkle.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'lib/kernel/Merkle.ml') diff --git a/lib/kernel/Merkle.ml b/lib/kernel/Merkle.ml index 2566941..06bbb8f 100644 --- a/lib/kernel/Merkle.ml +++ b/lib/kernel/Merkle.ml @@ -362,8 +362,8 @@ module type INTERFACE = functor (S : Abstract.Storage.STORAGE) (K : KEY) (V : VA val lookup : S.transaction -> K.t -> node -> (V.t option, Concepts.Condition.condition) result val fold_left : S.transaction -> ('c -> K.t -> V.t -> 'c) -> 'c -> node -> ('c, Concepts.Condition.condition) result - val iter : S.transaction -> (K.t -> V.t -> 'a) -> node -> (unit, Concepts.Condition.condition) result + val keys : S.transaction -> node -> (K.t BatFingerTree.t, Concepts.Condition.condition) result end module Interface : INTERFACE = functor (S : Abstract.Storage.STORAGE) (K : KEY) (V : VALUE) -> struct @@ -425,6 +425,8 @@ module Interface : INTERFACE = functor (S : Abstract.Storage.STORAGE) (K : KEY) fold_left tx (fun _ k v -> f k v |> ignore) () node + + let keys = T.keys end module StringKey : KEY with type t = string = struct -- cgit v1.2.3