unit ->
object
  val mutable run : Wpo.t -> VCS.prover -> unit
  val mutable src : Wpo.t option -> unit
  val mutable state : GuiGoal.display_state
  method coerce : GObj.widget
  method private goal : unit
  method private log : Wpo.t -> VCS.prover -> unit
  method on_run : (Wpo.t -> VCS.prover -> unit) -> unit
  method on_src : (Wpo.t option -> unit) -> unit
  method private run : Wpo.t -> VCS.prover -> unit
  method select : Wpo.t option -> unit
  method update : unit
end