Module GuiList

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