Module Bddapron.Policy.DPolicy

module DPolicy: sig .. end

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