Module Bddapron.Policy.PMtbdddomain0

module PMtbdddomain0: sig .. end

type ('a, 'b) man = {

	`man :('a, 'b) Bddapron.Mtbdddomain0.man;`
	`papron :'b Apron.Policy.man;`
	`ptable :'b Bddapron.Policy.DPolicy.table;`
	`betable :'a Bddapron.Policy.DDDnf.table;`
	`symbol :'a Bddapron.Env.symbol;`

}

type 'a t = 'a Bddapron.Policy.DPolicy.t Cudd.Mtbdd.t