Module Defaultgraphs.SyntacticDependencyGraph.S

module S: Set.Make(PkgV)