Module Defaultgraphs.IntPkgGraph.GmlPrinter

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