Module GuiList

module GuiList: sig .. end

class pane : GuiConfig.provers -> object .. end