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