Imported Upstream version 8.5~beta2+dfsgupstream/8.5_beta2+dfsg

1 files changed, 9 insertions, 0 deletions

diff --git a/lib/hashset.mli b/lib/hashset.mli
index 537f3418..a455eec6 100644
--- a/lib/hashset.mli
+++ b/lib/hashset.mli
@@ -19,6 +19,13 @@ module type EqType = sig
   val equal : t -> t -> bool
 end
 
+type statistics = {
+  num_bindings: int;
+  num_buckets: int;
+  max_bucket_length: int;
+  bucket_histogram: int array
+}
+
 module type S = sig
   type elt
   (** Type of hashsets elements. *)
@@ -34,6 +41,8 @@ module type S = sig
       specific representation that is stored in [set]. Otherwise,
       [constr] is stored in [set] and will be used as the canonical
       representation of this value in the future. *)
+  val stats : t -> statistics
+  (** Recover statistics on the table. *)
 end
 
 module Make (E : EqType) : S with type elt = E.t