Module Wp_parameters


module Wp_parameters: sig .. end

include struct ... end
module Model: Int(sig
val option_name : string
val default : int
val arg_name : string
val descr : string
end)
module Bottom: False(sig
val option_name : string
val descr : string
end)
module Functions: StringSet(sig
val option_name : string
val arg_name : string
val descr : string
end)
module Behav: EmptyString(sig
val option_name : string
val arg_name : string
val descr : string
end)
module Proof: True(sig
val option_name : string
val descr : string
end)
module ProverTimeout: Int(sig
val option_name : string
val default : int
val arg_name : string
val descr : string
end)
module Cfg: False(sig
val option_name : string
val descr : string
end)
module Dot: False(sig
val option_name : string
val descr : string
end)
module BuiltinWhyFile: False(sig
val option_name : string
val descr : string
end)
val is_on : unit -> bool