GuiConfig.provers -> object   method add : Wpo.t -> unit   method coerce : GObj.widget   method count_selected : int   method get : int -> Wpo.t   method index : Wpo.t -> int   method iter_selected : (Wpo.t -> unit) -> unit   method on_click : (Wpo.t -> VCS.prover option -> unit) -> unit   method on_double_click : (Wpo.t -> VCS.prover option -> unit) -> unit   method on_right_click : (Wpo.t -> VCS.prover option -> unit) -> unit   method on_selection : (int -> unit) -> unit   method reload : unit   method show : Wpo.t -> unit   method size : int   method update : Wpo.t -> unit   method update_all : unit end