Module GuiConfig

module GuiConfig: sig .. end
Edit enabled provers

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