Module GuiList

module GuiList: sig .. end

module Windex: Indexer.Make(Wpo.S)
class model : object .. end
class pane : GuiConfig.provers -> object .. end