sig
  type 'v t = {
    e : (int * Bdd.formula * int) list;
    t : (int * 'v * int) list;
    o : int Common.set;
    size : int;
  }
end