module Minterm: sig .. end
val iter : signed:bool -> (int -> unit) -> Bdd.Reg.Minterm.t -> unit
Iterate the function on all the integer values represented by the
argument minterm.
val map : signed:bool -> (int -> 'a) -> Bdd.Reg.Minterm.t -> 'a list
Apply the function to all integer values represented by the
argument minterm and return the list of the results.