From 997f3c6c039fd73de26df9f2d2cc1afa9f2677b4 Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Sun, 23 Aug 2026 17:03:25 +0000 Subject: Ordering is now under Utilities --- lib/kernel/Merkle.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lib/kernel/Merkle.ml') diff --git a/lib/kernel/Merkle.ml b/lib/kernel/Merkle.ml index 6172e6f..05adbd2 100644 --- a/lib/kernel/Merkle.ml +++ b/lib/kernel/Merkle.ml @@ -8,7 +8,7 @@ end module type KEY = sig include VALUE - val compare : t -> t -> Concepts.Ordering.ordering + val compare : t -> t -> Utilities.Ordering.t end module type TREE = functor (S : Abstract.Storage.STORAGE) (K : KEY) -> sig @@ -53,7 +53,7 @@ module Make : TREE = functor (S : Abstract.Storage.STORAGE) (K : KEY) -> struct let empty = Leaf { keys = BatFingerTree.empty; values = BatFingerTree.empty } let rec lookup1' keys key bottom top = - let open Concepts.Ordering in + let open Utilities.Ordering in if bottom >= top then (bottom, false) else let mid = bottom + (top - bottom) / 2 in @@ -389,6 +389,6 @@ module StringKey : KEY with type t = string = struct type t = string let encode s = String.to_bytes s |> Concepts.Blob.blob_of_bytes - let compare s1 s2 = String.compare s1 s2 |> Concepts.Ordering.of_int + let compare s1 s2 = String.compare s1 s2 |> Utilities.Ordering.of_int let decode b = Concepts.Blob.bytes_of_blob b |> String.of_bytes |> Result.ok end -- cgit v1.2.3