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