sig
  val iter_succ : (LogicId.Iset.elt -> unit) -> LogicId.Ihmap.key -> unit
end