Module `Dose_algo.Dominators`

val dombar : Dose_common.Util.Progress.t
val domtimer : Dose_common.Util.Timer.t
val tjntimer : Dose_common.Util.Timer.t
val crtimer : Dose_common.Util.Timer.t
val sdtrtimer : Dose_common.Util.Timer.t
val domtrtimer : Dose_common.Util.Timer.t

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 G = Defaultgraphs.PackageGraph.G

module O : sig ... end

module S = Defaultgraphs.PackageGraph.S

val impactset : (G.t * G.vertex) -> S.t
val scons : (G.t * G.vertex) -> S.t
val dominators_direct : ?⁠relative:float option -> G.t -> G.t
val dominators_tarjan : G.t -> G.t