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