TopologicalSorting (mlang.Mlang.TopologicalSorting)

module type GRAPH = sig ... end

module type T = sig ... end

module Make
  (G : GRAPH) : 
  T
    with type 'a graph = 'a G.t
     and type vertex = G.vertex
     and type edge = G.edge