GuiConfig.provers ->
object
  val mutable provers : (VCS.prover * GTree.view_column) list
  method add : Wpo.S.t -> unit
  method coerce : GObj.widget
  method private column_of_prover : VCS.prover -> GTree.view_column option
  method private configure : ProverWhy3.dp list -> unit
  method count_selected : int
  method private create_prover : VCS.prover -> unit
  method get : int -> Wpo.S.t
  method index : Wpo.S.t -> int
  method iter_selected : (Wpo.S.t -> unit) -> unit
  method private on_cell :
    (Wpo.S.t -> VCS.prover option -> unit) ->
    Wpo.S.t -> GTree.view_column -> unit
  method on_click : (Wpo.S.t -> VCS.prover option -> unit) -> unit
  method on_double_click : (Wpo.S.t -> VCS.prover option -> unit) -> unit
  method on_right_click : (Wpo.S.t -> VCS.prover option -> unit) -> unit
  method on_selection : (int -> unit) -> unit
  method private prover_of_column : GTree.view_column -> VCS.prover option
  method reload : unit
  method show : Wpo.S.t -> unit
  method size : int
  method update : Wpo.S.t -> unit
  method update_all : unit
end