Module GuiConfig

module GuiConfig: sig .. end

class provers : string -> object .. end

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

type mprover = 

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