Module Cudd.Memo

module Memo: sig .. end

type memo_discr =

`\|`	`Global`	`(*`	CUDD global cache (arity no more than 2, currently)	`*)`
`\|`	`Cache`
`\|`	`Hash`

type t =

`\|`	`Global`	`(*`	CUDD global cache (arity no more than 2, currently)	`*)`
`\|`	`Cache of Cudd.Cache.t`	`(*`	CUDD local cache	`*)`
`\|`	`Hash of Cudd.Hash.t`	`(*`	CUDD local hash table It is up to the user to clear regularly such a table. Forgetting to do so will prevent garbage collection of nodes stored in the table, which can only grows, unlike local caches.	`*)`

Type of memoization table

val clear : t -> unit