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