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