diff options
Diffstat (limited to 'lib/hashset.mli')
| -rw-r--r-- | lib/hashset.mli | 9 |
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 |