sig
  val iter : signed:bool -> (int -> unit) -> Bdd.Reg.Minterm.t -> unit
  val map : signed:bool -> (int -> 'a) -> Bdd.Reg.Minterm.t -> 'a list
end