Module Mlpost__Hashcons.Make

Parameters

• H : HashedType

Signature

type key = H.t

type t

val create : int -> t

val clear : t -> unit

val hashcons : t -> key -> key hash_consed

val iter : (key hash_consed -> unit) -> t -> unit

val stats : t -> int * int * int * int * int * int