VCS.prover ->
object
val mutable log : Wpo.t -> VCS.prover -> unit
val mutable run : Wpo.t -> VCS.prover -> unit
val mutable state : GuiGoal.prover_state
method click : unit
method on_log : (Wpo.t -> VCS.prover -> unit) -> unit
method on_run : (Wpo.t -> VCS.prover -> unit) -> unit
method set_display : GuiGoal.display_state -> unit
method widget : Toolbox.widget
end