`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 =`

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

`module CflE : sig ... end`
`module IG = Graph.Imperative.Matrix.Graph`
`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`
`val swap : ('a * 'a) -> 'a * 'a`
`val to_set : S.elt list -> S.t`
`val explicit : Cudf.universe -> (int * int, unit) ExtLib.Hashtbl.t`
`val triangle : S.elt list array -> S.t -> S.t -> S.t -> bool`
`val strongconflicts : Cudf.universe -> CG.t`