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