ocamlgraph

open Graph

module G = Imperative.Digraph.Abstract(struct type t = string end)
module SCC = Components.Make(G)

module H = Imperative.Digraph.Abstract(struct type t = string list end)
module Top = Topological.Make(H)

一番難しかった(よくわからなかった)のは，ここ．

こういう部分に関して，型チェッカがちゃんと動くことを保証してくれるのは，大きい．