Module Bdd.Enum.Minterm

module Minterm: sig .. end

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

Iter the function on all label of the given type contained in the minterm.

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

Apply the function to all label of the given type contained in the minterm and return the list of the results.