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