Merge branch 'v8.5'

1 files changed, 3 insertions, 0 deletions

diff --git a/lib/hashcons.ml b/lib/hashcons.ml
index 752e2634a6..46ba0b6285 100644
--- a/lib/hashcons.ml
+++ b/lib/hashcons.ml
@@ -43,6 +43,7 @@ module type S =
     type table
     val generate : u -> table
     val hcons : table -> t -> t
+    val stats : table -> Hashset.statistics
   end
 
 module Make (X : HashconsedType) : (S with type t = X.t and type u = X.u) =
@@ -67,6 +68,8 @@ module Make (X : HashconsedType) : (S with type t = X.t and type u = X.u) =
       let y = X.hashcons u x in
       Htbl.repr (X.hash y) y tab
 
+    let stats (tab, _) = Htbl.stats tab
+
   end
 
 (* A few usefull wrappers: