GuiConfig.provers ->
object
val mutable provers : (VCS.prover * GTree.view_column) list
method add : Wpo.S.t -> unit
method coerce : GObj.widget
method private column_of_prover : VCS.prover -> GTree.view_column option
method private configure : ProverWhy3.dp list -> unit
method count_selected : int
method private create_prover : VCS.prover -> unit
method get : int -> Wpo.S.t
method index : Wpo.S.t -> int
method iter_selected : (Wpo.S.t -> unit) -> unit
method private on_cell :
(Wpo.S.t -> VCS.prover option -> unit) ->
Wpo.S.t -> GTree.view_column -> unit
method on_click : (Wpo.S.t -> VCS.prover option -> unit) -> unit
method on_double_click : (Wpo.S.t -> VCS.prover option -> unit) -> unit
method on_right_click : (Wpo.S.t -> VCS.prover option -> unit) -> unit
method on_selection : (int -> unit) -> unit
method private prover_of_column : GTree.view_column -> VCS.prover option
method reload : unit
method show : Wpo.S.t -> unit
method size : int
method update : Wpo.S.t -> unit
method update_all : unit
end