module GuiConfig:sig
..end
select automatically the provers set on the command line
class provers :string ->
[Why3.Whyconf.Sprover.t]
Widget.selector
class dp_chooser :main:Design.main_window_extension_points -> provers:provers ->
object
..end