Module LogicDef.Components


module Components: sig .. end

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