package why3

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type flag
val register_flag : desc:Pp.formatted -> string -> flag
val register_info_flag : desc:Pp.formatted -> string -> flag
val list_flags : unit -> (string * flag * bool * Pp.formatted) list
val lookup_flag : string -> flag
val is_info_flag : string -> bool
val flag_desc : string -> Pp.formatted
val set_flag : flag -> unit
val unset_flag : flag -> unit
val toggle_flag : flag -> unit
val test_flag : flag -> bool
val test_noflag : flag -> bool
val set_debug_formatter : Format.formatter -> unit
val get_debug_formatter : unit -> Format.formatter
val dprintf : flag -> ('a, Format.formatter, unit) format -> 'a
val stack_trace : flag
module Args : sig ... end
val stats : flag
type 'a stat
module Stats : sig ... end
OCaml

Innovation. Community. Security.