object
  val v_manager : Manager.t
  val mutable v_typdef : ([> Bddenum.typdef ] as 'a) Var.Map.t
  val mutable v_vartyp : ([> Bddenum.typ ] as 'b) Var.Map.t
  method private add_label : Var.t -> 'b -> unit
  method add_typ : Var.t -> 'a -> unit
  method manager : Manager.t
  method mem_typ : Var.t -> bool
  method mem_var : Var.t -> bool
  method set_typdef : 'a Var.Map.t -> unit
  method set_vartyp : 'b Var.Map.t -> unit
  method typ_of_var : Var.t -> 'b
  method typdef : 'a Var.Map.t
  method typdef_of_typ : Var.t -> 'a
  method vartyp : 'b Var.Map.t
end