sig
  type 'a typ = [ `Benum of 'a ]
  type 'a typdef = [ `Benum of 'a array ]
  type 'a t = { typ : string; reg : 'a Bdd.Reg.t; }
  type dt = Cudd.Man.d Bdd.Enum.t
  type vt = Cudd.Man.v Bdd.Enum.t
  val of_label :
    ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
    'a -> 'd Bdd.Enum.t
  val is_cst : 'd Bdd.Enum.t -> bool
  val to_code : 'd Bdd.Enum.t -> int
  val to_label :
    ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
    'd Bdd.Enum.t -> 'a
  val equal_label :
    ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
    'd Bdd.Enum.t -> 'a -> 'd Cudd.Bdd.t
  val equal :
    ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
    'd Bdd.Enum.t -> 'd Bdd.Enum.t -> 'd Cudd.Bdd.t
  val ite : 'd Cudd.Bdd.t -> 'd Bdd.Enum.t -> 'd Bdd.Enum.t -> 'd Bdd.Enum.t
  val guard_of_label :
    ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
    'd Bdd.Enum.t -> 'a -> 'd Cudd.Bdd.t
  val guardlabels :
    ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
    'd Bdd.Enum.t -> ('d Cudd.Bdd.t * 'a) list
  val cofactor : 'd Bdd.Enum.t -> 'd Cudd.Bdd.t -> 'd Bdd.Enum.t
  val restrict : 'd Bdd.Enum.t -> 'd Cudd.Bdd.t -> 'd Bdd.Enum.t
  val tdrestrict : 'd Bdd.Enum.t -> 'd Cudd.Bdd.t -> 'd Bdd.Enum.t
  val print :
    (Format.formatter -> int -> unit) ->
    Format.formatter -> 'd Bdd.Enum.t -> unit
  val print_minterm :
    (Format.formatter -> 'd Cudd.Bdd.t -> unit) ->
    ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
    Format.formatter -> 'd Bdd.Enum.t -> unit
  val size_of_typ :
    ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
    'a -> int
  val maxcode_of_typ :
    ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
    'a -> int
  val mem_typcode :
    ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
    'a -> int -> bool
  val labels_of_typ :
    ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
    'a -> 'a array
  val code_of_label :
    ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
    'a -> int
  val label_of_typcode :
    ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
    'a -> int -> 'a
  module Minterm :
    sig
      val iter :
        ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
        'a -> ('a -> unit) -> Bdd.Reg.Minterm.t -> unit
      val map :
        ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
        'a -> ('a -> 'f) -> Bdd.Reg.Minterm.t -> 'f list
    end
  val permute :
    ?memo:Cudd.Memo.t -> 'a Bdd.Enum.t -> int array -> 'a Bdd.Enum.t
  val varmap : 'a Bdd.Enum.t -> 'a Bdd.Enum.t
  val vectorcompose :
    ?memo:Cudd.Memo.t ->
    'a Cudd.Bdd.t array -> 'a Bdd.Enum.t -> 'a Bdd.Enum.t
end