sig
  val no_status : Widget.icon
  val ok_status : Widget.icon
  val ko_status : Widget.icon
  val wg_status : Widget.icon
  val smoke_status : Widget.icon
  val filter : VCS.prover -> bool
  class prover :
    console:Wtext.text ->
    prover:VCS.prover ->
    object
      method clear : unit
      method clear_action : unit
      method coerce : GObj.widget
      method has_action : bool
      method is_active : bool
      method on_active : (bool -> unit) -> unit
      method prover : VCS.prover
      method set_action :
        ?icon:Widget.icon ->
        ?tooltip:string -> ?callback:(unit -> unit) -> unit -> unit
      method set_active : bool -> unit
      method set_content : Widget.widget -> unit
      method set_enabled : bool -> unit
      method set_label : string -> unit
      method set_status : Widget.icon -> unit
      method set_tooltip : string -> unit
      method set_visible : bool -> unit
      method tool : Wpalette.tool
      method update : Wpo.t -> unit
      method widget : Widget.widget
    end
end