Class GuiGoal.pane

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

method select : Wpo.t option -> unit
method update : unit
method coerce : GObj.widget