module type G = sig .. end
sig
end
include Graph.Sig.G
include Graph.Topological.G
val has_cycle : t -> bool
t -> bool
val scc_list : t -> V.t list list
t -> V.t list list