module GuiProver:sig
..end
val no_status : Widget.icon
val ok_status : Widget.icon
val ko_status : Widget.icon
val wg_status : Widget.icon
val filter : VCS.prover -> bool
class prover :console:Wtext.text -> prover:VCS.prover ->
object
..end
Requires filter prover
.