module GuiGoal: sig .. end
sig
end
class pane : GuiConfig.enabled -> object .. end
GuiConfig.enabled ->
object