Module Wp_gui.GuiGoal

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