Module GuiGoal

module GuiGoal: sig .. end

type prover_state = 
| PS_nogoal
| PS_click_to_play of Wpo.t
| PS_click_to_log of Wpo.t
| PS_click_to_stop of Wpo.t * (unit -> unit)
type display_state = 
| DSP_nogoal
| DSP_goal of Wpo.t * VCS.prover option
val icon : VCS.verdict -> [> `CUT | `DIALOG_WARNING | `EXECUTE | `NO | `REMOVE | `YES ]
class prover : VCS.prover -> object .. end
class pane : unit -> object .. end