module Wp_parameters:sig
..end
include struct ... end
module Model:Int
(
sig
end
)
module Bottom:False
(
sig
val option_name :string
val descr :string
end
)
module Functions:StringSet
(
sig
end
)
module Behav:EmptyString
(
sig
end
)
module Proof:True
(
sig
val option_name :string
val descr :string
end
)
module ProverTimeout:Int
(
sig
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