Module GuiGoal

module GuiGoal: sig .. end

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