Module Strongconflicts_int.CG


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