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