sig
class provers : string -> [ProverWhy3.dp list] Widget.selector
class dp_chooser :
main:Design.main_window_extension_points ->
available:GuiConfig.provers ->
enabled:GuiConfig.provers -> object method run : unit -> unit end
class dp_button :
available:GuiConfig.provers ->
enabled:GuiConfig.provers ->
object
method coerce : GObj.widget
method set_enabled : bool -> unit
method update : unit -> unit
end
end