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

1 files changed, 2 insertions, 0 deletions

diff --git a/lib/hashcons.mli b/lib/hashcons.mli
index 60a9ee01..8d0adc3f 100644
--- a/lib/hashcons.mli
+++ b/lib/hashcons.mli
@@ -56,6 +56,8 @@ module type S =
     (** This create a hashtable of the hashconsed objects. *)
     val hcons : table -> t -> t
     (** Perform the hashconsing of the given object within the table. *)
+    val stats : table -> Hashset.statistics
+    (** Recover statistics of the hashconsing table. *)
   end
 
 module Make (X : HashconsedType) : (S with type t = X.t and type u = X.u)