package dose

  1. Overview
  2. Docs
module Pcre = Re_pcre
val it : Util.Info.t
val info : ('a, unit, string, unit) Pervasives.format4 -> 'a
val nt : Util.Notice.t
val notice : ('a, unit, string, unit) Pervasives.format4 -> 'a
val warning : ('a, unit, string, unit) Pervasives.format4 -> 'a
val dt : Util.Debug.t
val debug : ('a, unit, string, unit) Pervasives.format4 -> 'a
val check_fail : string -> bool
val mktmpdir : string -> string
val rmtmpdir : string -> unit
val input_all_lines : string list -> Pervasives.in_channel -> string list
val quote : string -> string
val sanitize : string -> string
val interpolate_solver_pat : string -> string -> string -> string -> string
exception Error of string
exception Unsat
val fatal : ('a, unit, string, 'b) Pervasives.format4 -> 'a
val check_exit_status : string -> Unix.process_status -> unit
val timer3 : Util.Timer.t
val timer4 : Util.Timer.t
val execsolver : string -> string -> Cudf.cudf -> Cudf.preamble option * Cudf.universe
OCaml

Innovation. Community. Security.