sig
  class provers : string -> [Why3.Whyconf.Sprover.t] Widget.selector
  class dp_chooser :
    main:Design.main_window_extension_points ->
    provers:GuiConfig.provers -> object method run : unit -> unit end
end