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