Module Wp.Why3ProversSource

Sourceval version : string
Sourceval config : unit -> Why3.Whyconf.config
Sourceval configure : unit -> unit
Sourceval set_procs : int -> unit
Sourcetype t = Why3.Whyconf.prover
Sourceval find_opt : string -> t option
Sourcetype fallback =
  1. | Exact of t
  2. | Fallback of t
  3. | NotFound
Sourceval find_fallback : string -> fallback
Sourceval ident_why3 : t -> string
Sourceval ident_wp : t -> string
Sourceval title : ?version:bool -> t -> string
Sourceval compare : t -> t -> int
Sourceval provers : unit -> t list
Sourceval provers_set : unit -> Why3.Whyconf.Sprover.t
Sourceval is_available : t -> bool
Sourceval is_mainstream : t -> bool
Sourceval has_shortcut : t -> string -> bool