`include sig ... end`
`val it : Dose_common__Util.Info.t`
`val info : ('a, unit, string, unit) Stdlib.format4 -> 'a`
`val nt : Dose_common__Util.Notice.t`
`val notice : ('a, unit, string, unit) Stdlib.format4 -> 'a`
`val wt : Dose_common__Util.Warning.t`
`val warning : ('a, unit, string, unit) Stdlib.format4 -> 'a`
`val dt : Dose_common__Util.Debug.t`
`val debug : ('a, unit, string, unit) Stdlib.format4 -> 'a`
`val fatal : ('a, unit, string, 'b) Stdlib.format4 -> 'a`
`module ICG = Strongconflicts_int.CG`
`type cfl_type =`

1. `| Explicit`
2. `| Conjunctive`
3. `| Other of Diagnostic.reason list`

`module CflE : sig ... end`
`module CG : sig ... end`
`val reason : Cudf.universe -> Diagnostic.reason_int list -> Diagnostic.reason list`
`val cvt : Cudf.universe -> Strongconflicts_int.cfl_type -> cfl_type`

strongconflicts return the list of all strong conflicts in universe.

invariant: the universe must contain only edos-installable packages : see Depsolver.trim.

`val strongconflicts : Cudf.universe -> CG.t`