[> Gtk.spin_button ] Gtk.obj ->
object ('a)
  method activate : callback:(unit -> unit) -> GtkSignal.id
  method after : 'a
  method backspace : callback:(unit -> unit) -> GtkSignal.id
  method change_value :
    callback:(Gtk.Tags.scroll_type -> unit) -> GtkSignal.id
  method changed : callback:(unit -> unit) -> GtkSignal.id
  method copy_clipboard : callback:(unit -> unit) -> GtkSignal.id
  method cut_clipboard : callback:(unit -> unit) -> GtkSignal.id
  method delete_from_cursor :
    callback:(Gtk.Tags.delete_type -> int -> unit) -> GtkSignal.id
  method delete_text :
    callback:(start:int -> stop:int -> unit) -> GtkSignal.id
  method destroy : callback:(unit -> unit) -> GtkSignal.id
  method icon_press :
    callback:(Gtk.Tags.entry_icon_position -> GdkEvent.Button.t -> unit) ->
    GtkSignal.id
  method icon_released :
    callback:(Gtk.Tags.entry_icon_position -> GdkEvent.Button.t -> unit) ->
    GtkSignal.id
  method input : callback:(unit -> int) -> GtkSignal.id
  method insert_at_cursor : callback:(string -> unit) -> GtkSignal.id
  method insert_text :
    callback:(string -> pos:int ref -> unit) -> GtkSignal.id
  method move_cursor :
    callback:(Gtk.Tags.movement_step -> int -> extend:bool -> unit) ->
    GtkSignal.id
  method notify_activates_default : callback:(bool -> unit) -> GtkSignal.id
  method notify_adjustment :
    callback:(GData.adjustment -> unit) -> GtkSignal.id
  method notify_digits : callback:(int -> unit) -> GtkSignal.id
  method notify_has_frame : callback:(bool -> unit) -> GtkSignal.id
  method notify_invisible_char : callback:(int -> unit) -> GtkSignal.id
  method notify_max_length : callback:(int -> unit) -> GtkSignal.id
  method notify_numeric : callback:(bool -> unit) -> GtkSignal.id
  method notify_overwrite_mode : callback:(bool -> unit) -> GtkSignal.id
  method notify_placeholder_text : callback:(string -> unit) -> GtkSignal.id
  method notify_primary_icon_activatable :
    callback:(bool -> unit) -> GtkSignal.id
  method notify_primary_icon_sensitive :
    callback:(bool -> unit) -> GtkSignal.id
  method notify_rate : callback:(float -> unit) -> GtkSignal.id
  method notify_scroll_offset : callback:(int -> unit) -> GtkSignal.id
  method notify_secondary_icon_activatable :
    callback:(bool -> unit) -> GtkSignal.id
  method notify_secondary_icon_sensitive :
    callback:(bool -> unit) -> GtkSignal.id
  method notify_snap_to_ticks : callback:(bool -> unit) -> GtkSignal.id
  method notify_text : callback:(string -> unit) -> GtkSignal.id
  method notify_text_length : callback:(int -> unit) -> GtkSignal.id
  method notify_update_policy :
    callback:(Gtk.Tags.spin_button_update_policy -> unit) -> GtkSignal.id
  method notify_value : callback:(float -> unit) -> GtkSignal.id
  method notify_visibility : callback:(bool -> unit) -> GtkSignal.id
  method notify_width_chars : callback:(int -> unit) -> GtkSignal.id
  method notify_wrap : callback:(bool -> unit) -> GtkSignal.id
  method notify_xalign : callback:(float -> unit) -> GtkSignal.id
  method output : callback:(unit -> bool) -> GtkSignal.id
  method paste_clipboard : callback:(unit -> unit) -> GtkSignal.id
  method populate_popup : callback:(GMenu.menu -> unit) -> GtkSignal.id
  method toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id
  method value_changed : callback:(unit -> unit) -> GtkSignal.id
  method wrapped : callback:(unit -> unit) -> GtkSignal.id
end