Module Cudd.Hash

module Hash: sig .. end

type t 
Abstract type for user hashtables
val _create : int -> int -> t
val table : t Weak.t Pervasives.ref
Internal table
val create : ?size:int -> int -> t
create ~size:n arity create a hashtable of arity arity, of the optional size n
val arity : t -> int
Returns the arity of the hashtable
val clear : t -> unit
Clears the content of the hashtable
val clear_all : unit -> unit
Clears the content of all created hashtables