package dose3

  1. Overview
  2. Docs
package dose3
Legend:
Library
Module
Module type
Parameter
Class
Class type
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
type cfl_type =
  1. | Explicit
  2. | Conjunctive
  3. | Other of Diagnostic.reason list
module CflE : sig ... end
module CG : sig ... end

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