sig
  type t
  external _create : int -> int -> int -> Cudd.Cache.t
    = "camlidl_cudd_cache__create"
  val create : ?size:int -> ?maxsize:int -> arity:int -> Cudd.Cache.t
  val create1 : ?size:int -> ?maxsize:int -> unit -> Cudd.Cache.t
  val create2 : ?size:int -> ?maxsize:int -> unit -> Cudd.Cache.t
  val create3 : ?size:int -> ?maxsize:int -> unit -> Cudd.Cache.t
  external arity : Cudd.Cache.t -> int = "camlidl_cudd_cache_arity"
  external clear : Cudd.Cache.t -> unit = "camlidl_cudd_cache_clear"
end