module GuiConfig:sig
..end
class available :unit ->
object
..end
class enabled :string ->
[string list]
Widget.selector
class dp_chooser :main:Design.main_window_extension_points -> available:available -> enabled:enabled ->
object
..end
:available:available ->
object
..end