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