module GuiGoal:sig
..end
type
prover_state =
| |
PS_nogoal |
| |
PS_click_to_play of |
| |
PS_click_to_log of |
| |
PS_click_to_stop of |
type
display_state =
| |
DSP_nogoal |
| |
DSP_goal of |
val icon : VCS.verdict -> [> `CUT | `DIALOG_WARNING | `EXECUTE | `NO | `REMOVE | `YES ]
class prover :VCS.prover ->
object
..end
class pane :unit ->
object
..end