Module Defaultgraphs.SyntacticDependencyGraph.G

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