sig
  type 'a t = 'a Bddapron.Policy.Dnf.t Cudd.Mtbdd.t
  type 'a table = 'a Bddapron.Policy.Dnf.t Cudd.Mtbdd.table
end