available:GuiConfig.provers -> enabled:GuiConfig.provers -> object method coerce : GObj.widget method set_enabled : bool -> unit method set_visible : bool -> unit method update : unit -> unit method widget : Widget.widget end