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