Module GuiConfig

module GuiConfig: sig .. end

class provers : string -> [ProverWhy3.dp list] Widget.selector

class dp_chooser : main:Design.main_window_extension_points -> available:provers -> enabled:provers -> object .. end

class dp_button : available:provers -> enabled:provers -> object .. end