Module Strongconflicts.CG


module CG: Graph.Imperative.Graph.ConcreteLabeled(Defaultgraphs.PkgV)(CflE)