Module Strongconflicts_int.CG

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