module GmlPrinter: Graph.Gml.Print(G)(sig val node : Defaultgraphs.MakePackageGraph.G.V.label -> 'a list val edge : Defaultgraphs.MakePackageGraph.G.E.label -> 'a listend)
Graph.Gml.Print
(
G
)
sig
val node : Defaultgraphs.MakePackageGraph.G.V.label -> 'a list
Defaultgraphs.MakePackageGraph.G.V.label -> 'a list
val edge : Defaultgraphs.MakePackageGraph.G.E.label -> 'a list
Defaultgraphs.MakePackageGraph.G.E.label -> 'a list
end