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