sig   class pane :     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 end