class dp_button : available:provers -> enabled:provers -> object .. end
available:provers -> enabled:provers ->
object
end
Widget.widget
method update : unit -> unit
unit -> unit