Module Defaultgraphs.IntPkgGraph.G

module G: Graph.Imperative.Digraph.ConcreteBidirectional(PkgV)