package dose

  1. Overview
  2. Docs
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
type cfl_type =
  1. | Explicit
  2. | Conjunctive
  3. | Other of Diagnostic_int.reason list
module CflE : sig ... end
module CG : sig ... end
val seedingbar : Common.Util.Progress.t
val localbar : Common.Util.Progress.t
val sctimer : Common.Util.Timer.t
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
OCaml

Innovation. Community. Security.