module Strongconflicts:sig
..end
invariant: the universe must contain only edos-installable packages : see
Depsolver.trim.
include struct ... end
module ICG: Strongconflicts_int.CG
type
cfl_type =
| |
Explicit |
| |
Conjunctive |
| |
Other of |
module CflE:sig
..end
module CG:Graph.Imperative.Graph.ConcreteLabeled
(
Defaultgraphs.PkgV
)
(
CflE
)
val reason : Cudf.universe -> Diagnostic_int.reason list -> Diagnostic.reason list
val cvt : Cudf.universe -> Strongconflicts_int.cfl_type -> cfl_type
invariant: the universe must contain only edos-installable packages : see
Depsolver.trim.
val strongconflicts : Cudf.universe -> CG.t