val mainbar : Common.Util.Progress.tval conjbar : Common.Util.Progress.tval strongtimer : Common.Util.Timer.tval conjtimer : Common.Util.Timer.tval it : Common.Util.Info.tval info : ('a, unit, string, unit) Pervasives.format4 -> 'aval nt : Common.Util.Notice.tval notice : ('a, unit, string, unit) Pervasives.format4 -> 'aval wt : Common.Util.Warning.tval warning : ('a, unit, string, unit) Pervasives.format4 -> 'aval dt : Common.Util.Debug.tval debug : ('a, unit, string, unit) Pervasives.format4 -> 'aval fatal : ('a, unit, string, 'b) Pervasives.format4 -> 'amodule G = Defaultgraphs.PackageGraph.Gmodule O = Defaultgraphs.PackageGraph.Oval strong_depends :
Depsolver_int.solver ->
int ->
Common.Util.IntHashtbl.key ->
boolval check_strong :
Cudf.universe ->
bool ->
G.t ->
Depsolver_int.solver ->
Common.Util.IntHashtbl.key ->
Common.Util.IntHashtbl.key list ->
unitval somedisj : Depsolver_int.pool -> int -> boolval strongdeps_int :
?transitive:bool ->
G.t ->
Cudf.universe ->
G.vertex list ->
G.tval strongdeps : ?transitive:bool -> Cudf.universe -> G.vertex list -> G.tval strongdeps_univ : ?transitive:bool -> Cudf.universe -> G.tval impactlist :
Defaultgraphs.PackageGraph.G.t ->
Defaultgraphs.PackageGraph.G.vertex ->
Defaultgraphs.PackageGraph.G.vertex listval stronglist :
Defaultgraphs.PackageGraph.G.t ->
Defaultgraphs.PackageGraph.G.vertex ->
Defaultgraphs.PackageGraph.G.vertex listval impactset :
Defaultgraphs.PackageGraph.G.t ->
Defaultgraphs.PackageGraph.G.vertex ->
Defaultgraphs.PackageGraph.S.tval strongset :
Defaultgraphs.PackageGraph.G.t ->
Defaultgraphs.PackageGraph.G.vertex ->
Defaultgraphs.PackageGraph.S.t