module GuiList:sig
..end
module Windex:Indexer.Make
(
Wpo.S
)
class model :object
..end
val render_prover_result : VCS.prover ->
Wpo.t -> [> `PIXBUF of GdkPixbuf.pixbuf | `STOCK_ID of string ] list
class pane :GuiConfig.provers ->
object
..end