package dose

  1. Overview
  2. Docs
val strongtimer : Common.Util.Timer.t
val conjtimer : Common.Util.Timer.t
val info : ('a, unit, string, unit) Pervasives.format4 -> 'a
val notice : ('a, unit, string, unit) Pervasives.format4 -> 'a
val warning : ('a, unit, string, unit) Pervasives.format4 -> 'a
val debug : ('a, unit, string, unit) Pervasives.format4 -> 'a
val fatal : ('a, unit, string, 'b) Pervasives.format4 -> 'a
val strong_depends : Depsolver_int.solver -> int -> Common.Util.IntHashtbl.key -> bool
val somedisj : Depsolver_int.pool -> int -> bool
val strongdeps_int : ?transitive:bool -> G.t -> Cudf.universe -> G.vertex list -> G.t
val strongdeps : ?transitive:bool -> Cudf.universe -> G.vertex list -> G.t
val strongdeps_univ : ?transitive:bool -> Cudf.universe -> G.t