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