sig
  val iter :
    ([> Bddenum.typ ], [> Bddenum.typdef ]) #Bddenum.db ->
    Var.t -> (Bddenum.label -> unit) -> Bddreg.Minterm.t -> unit
  val map :
    ([> Bddenum.typ ] as 'a, [> Bddenum.typdef ]) #Bddenum.db ->
    Var.t -> (Bddenum.label -> 'a) -> Bddreg.Minterm.t -> 'a list
end