sig
  class pane :
    unit ->
    object
      method coerce : GObj.widget
      method on_run : (Wpo.t -> VCS.prover -> unit) -> unit
      method on_src : (Wpo.t option -> unit) -> unit
      method select : Wpo.t option -> unit
      method update : unit
    end
end