Module GuiConfig

module GuiConfig: sig .. end

class provers : [Why3.Whyconf.Sprover.t] Widget.selector
class dp_chooser : main:Design.main_window_extension_points -> provers:provers -> object .. end