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