sig
  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
  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
end