Class GuiConfig.dp_chooser

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

method run : unit -> unit

Edit enabled provers