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