From 6c810eb83d0778c136e95037ace41054d2fa6ecf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Glen=20M=C3=A9vel?= Date: Sat, 27 Jul 2024 14:35:27 +0200 Subject: [PATCH] doc/CCHeap: document (==) for merge --- src/core/CCHeap.ml | 1 + src/core/CCHeap.mli | 1 + 2 files changed, 2 insertions(+) diff --git a/src/core/CCHeap.ml b/src/core/CCHeap.ml index 23c2cd41..984d4a09 100644 --- a/src/core/CCHeap.ml +++ b/src/core/CCHeap.ml @@ -46,6 +46,7 @@ module type S = sig val merge : t -> t -> t (** [merge h1 h2] merges the two heaps [h1] and [h2]. + If one heap is empty, the result is physically equal to the other heap. Complexity: [O(log (m+n))] where [m] and [n] are the number of elements in each heap. *) diff --git a/src/core/CCHeap.mli b/src/core/CCHeap.mli index fe40aa19..79bbe32d 100644 --- a/src/core/CCHeap.mli +++ b/src/core/CCHeap.mli @@ -43,6 +43,7 @@ module type S = sig val merge : t -> t -> t (** [merge h1 h2] merges the two heaps [h1] and [h2]. + If one heap is empty, the result is physically equal to the other heap. Complexity: [O(log (m+n))] where [m] and [n] are the number of elements in each heap. *)