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