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