module GuiConfig: sig .. end
sig
end
class provers : [Why3.Whyconf.Sprover.t] Widget.selector
[Why3.Whyconf.Sprover.t]
Widget.selector
class dp_chooser : main:Design.main_window_extension_points -> provers:provers -> object .. end
main:Design.main_window_extension_points -> provers:provers ->
object