Module GuiProver

module GuiProver: sig .. end
Requires filter prover.

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.