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