class prover : console:Wtext.text -> prover:VCS.prover -> object .. end
console:Wtext.text -> prover:VCS.prover ->
object
end
filter prover
Wpalette.tool
method clear : unit
unit
method update : Wpo.t -> unit
Wpo.t -> unit
method prover : VCS.prover
VCS.prover