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