module Components: sig .. end
sig
end
module G: sig .. end
module H: LogicId.Ihmap
LogicId.Ihmap
module S: LogicId.Iset
LogicId.Iset
val scc_roots : ((H.key -> unit) -> 'a) -> H.key list array
((H.key -> unit) -> 'a) -> H.key list array