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