sig
  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
end