Module Defaultgraphs.IntPkgGraph.DotPrinter

module DotPrinter: Graph.Graphviz.Dot(Display)