sig class pane : GuiConfig.provers -> object method coerce : GObj.widget method select : Wpo.t option -> unit method update : unit end end