available:GuiConfig.provers ->
enabled:GuiConfig.provers ->
object
val mutable init : bool
val mutable last : Wp_parameters.Provers.t
method coerce : GObj.widget
method private get_selection : GuiConfig.mprover -> string
method private import : unit
method set_enabled : bool -> unit
method private set_provers : ProverWhy3.dp list -> unit
method private set_selection : Wp_parameters.Provers.t -> unit
method update : unit -> unit
end