Module Dose_algo.Strongconflicts_int
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 SG = Defaultgraphs.IntPkgGraph.G
module PkgV = Defaultgraphs.IntPkgGraph.PkgV
type cfl_type
=
|
Explicit
|
Conjunctive
|
Other of Diagnostic.reason_int list
module CflE : sig ... end
module CG : sig ... end
val seedingbar : Dose_common.Util.Progress.t
progress bar
val localbar : Dose_common.Util.Progress.t
val sctimer : Dose_common.Util.Timer.t
timer
module S : sig ... end