sig type t module V : Sig.HASHABLE val iter_vertex : (V.t -> unit) -> Topological.G.t -> unit val iter_succ : (V.t -> unit) -> Topological.G.t -> V.t -> unit val in_degree : Topological.G.t -> V.t -> int end