Module Defaultgraphs.SyntacticDependencyGraph.G


module G: Graph.Imperative.Digraph.ConcreteBidirectionalLabeled(PkgV)(PkgE)