sig
  type memo_discr = Global | Cache | Hash
  type t = Global | Cache of Cudd.Cache.t | Hash of Cudd.Hash.t
  val clear : Cudd.Memo.t -> unit
end