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