package dose3

You can search for identifiers within the package.

in-package search v0.2.0

Dose library (part of Mancoosi tools)

Install

md5=bc99cbcea8fca29dca3ebbee54be45e1

sha512=98dc4bd28e9f4aa8384be71b31783ae1afac577ea587118b8457b554ffe302c98e83d0098971e6b81803ee5c4f2befe3a98ef196d6b0da8feb4121e982ad5c2f

include sig ... end

Sourceval it : Dose_common__Util.Info.t

Sourceval info : ('a, unit, string, unit) format4 -> 'a

Sourceval nt : Dose_common__Util.Notice.t

Sourceval notice : ('a, unit, string, unit) format4 -> 'a

Sourceval wt : Dose_common__Util.Warning.t

Sourceval warning : ('a, unit, string, unit) format4 -> 'a

Sourceval dt : Dose_common__Util.Debug.t

Sourceval debug : ('a, unit, string, unit) format4 -> 'a

Sourceval fatal : ('a, unit, string, 'b) format4 -> 'a

Sourcemodule ICG = Strongconflicts_int.CG

Sourcetype cfl_type =

Sourcemodule CflE : sig ... end

Sourcemodule CG : sig ... end

val reason : 
  Cudf.universe ->
  Diagnostic.reason_int list ->
  Diagnostic.reason list

Sourceval 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.

Sourceval strongconflicts : Cudf.universe -> CG.t