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