Module Enum.Minterm

module Minterm: sig .. end

val iter : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b, 'c) Env.O.t ->
       'a -> ('a -> unit) -> Reg.Minterm.t -> unit

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

val map : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b, 'c) Env.O.t ->
       'a -> ('a -> 'd) -> Reg.Minterm.t -> 'd list

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