doc/CCHeap: document (==) for merge

This commit is contained in:
Glen Mével 2024-07-27 14:35:27 +02:00
parent 3f95fd44e6
commit 6c810eb83d
2 changed files with 2 additions and 0 deletions

View file

@ -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.
*)

View file

@ -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.
*)