module GuiConfig:sig
..end
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