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