package dose3

  1. Overview
  2. Docs
package dose3
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Pcre = Re_pcre
val label : string
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 fatal : ('a, unit, string, 'b) Pervasives.format4 -> 'a
val blank_regexp : Pcre.regexp
val check_fail : string -> bool
val prng : Random.State.t lazy_t
val mktmpdir : string -> string -> string
val rmtmpdir : string -> unit
val input_all_lines : string list -> Pervasives.in_channel -> string list
val sanitize : string -> string
val interpolate_solver_pat : string -> string -> string -> string -> string list
exception Error of string
exception Unsat
val raise_error : ('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 try_set_close_on_exec : Unix.file_descr -> bool
val open_proc_full : string list -> string array -> Unix.file_descr -> Unix.file_descr -> Unix.file_descr -> Unix.file_descr list -> int
val open_process : string list -> string array -> Pervasives.in_channel * Pervasives.out_channel * Pervasives.in_channel * int
val waitpid_non_intr : int -> int * Unix.process_status
val execsolver : string -> string -> Cudf.cudf -> Cudf.preamble option * Cudf.universe
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct