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