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