sig   class provers : string -> [ProverWhy3.dp list] Widget.selector   class dp_chooser :     main:Design.main_window_extension_points ->     available:GuiConfig.provers ->     enabled:GuiConfig.provers -> object method run : unit -> unit end   class dp_button :     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 end