sig
  type t
  external _create : int -> int -> Cudd.Hash.t = "camlidl_cudd_hash__create"
  val table : Cudd.Hash.t Weak.t Pervasives.ref
  val create : ?size:int -> int -> Cudd.Hash.t
  external arity : Cudd.Hash.t -> int = "camlidl_cudd_hash_arity"
  external clear : Cudd.Hash.t -> unit = "camlidl_cudd_hash_clear"
  val clear_all : unit -> unit
end