sig
  type 'a t = {
    hash : int;
    dpolicy : 'a Apron.Policy.t Bdd.Normalform.disjunction;
  }
  type 'a table = 'a Bddapron.Policy.DPolicy.t Cudd.Mtbdd.table
end