Gtk.SpinButton.prototype.set_value

function set_value(value:Number):void {
    // Gjs wrapper for gtk_spin_button_set_value()
}