sig
  class progress_bar :
    Gtk.progress_bar Gtk.obj ->
    object
      val obj : Gtk.progress_bar Gtk.obj
      method adjustment : GData.adjustment
      method as_widget : Gtk.widget Gtk.obj
      method coerce : GObj.widget
      method connect : GObj.widget_signals
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method ellipsize : PangoEnums.ellipsize_mode
      method event : GObj.event_ops
      method fraction : float
      method get_oid : int
      method misc : GObj.misc_ops
      method orientation : Gtk.Tags.progress_bar_orientation
      method pulse : unit -> unit
      method pulse_step : float
      method set_adjustment : GData.adjustment -> unit
      method set_ellipsize : PangoEnums.ellipsize_mode -> unit
      method set_fraction : float -> unit
      method set_orientation : Gtk.Tags.progress_bar_orientation -> unit
      method set_pulse_step : float -> unit
      method set_text : string -> unit
      method text : string
    end
  val progress_bar :
    ?orientation:Gtk.Tags.progress_bar_orientation ->
    ?pulse_step:float ->
    ?packing:(GObj.widget -> unit) ->
    ?show:bool -> unit -> GRange.progress_bar
  class range_signals :
    [> Gtk.range ] Gtk.obj ->
    object ('a)
      method adjust_bounds : callback:(float -> unit) -> GtkSignal.id
      method after : 'a
      method destroy : callback:(unit -> unit) -> GtkSignal.id
      method move_slider :
        callback:(Gtk.Tags.scroll_type -> unit) -> GtkSignal.id
      method value_changed : callback:(unit -> unit) -> GtkSignal.id
    end
  class range :
    ([> Gtk.range ] as 'a) Gtk.obj ->
    object
      val obj : 'a Gtk.obj
      method adjustment : GData.adjustment
      method as_widget : Gtk.widget Gtk.obj
      method coerce : GObj.widget
      method connect : GRange.range_signals
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method event : GObj.event_ops
      method get_oid : int
      method inverted : bool
      method misc : GObj.misc_ops
      method set_adjustment : GData.adjustment -> unit
      method set_inverted : bool -> unit
      method set_update_policy : Gtk.Tags.update_type -> unit
      method update_policy : Gtk.Tags.update_type
    end
  class scale :
    Gtk.scale Gtk.obj ->
    object
      val obj : Gtk.scale Gtk.obj
      method adjustment : GData.adjustment
      method as_widget : Gtk.widget Gtk.obj
      method coerce : GObj.widget
      method connect : range_signals
      method destroy : unit -> unit
      method digits : int
      method drag : GObj.drag_ops
      method draw_value : bool
      method event : GObj.event_ops
      method get_oid : int
      method inverted : bool
      method misc : GObj.misc_ops
      method set_adjustment : GData.adjustment -> unit
      method set_digits : int -> unit
      method set_draw_value : bool -> unit
      method set_inverted : bool -> unit
      method set_update_policy : Gtk.Tags.update_type -> unit
      method set_value_pos : Gtk.Tags.position -> unit
      method update_policy : Gtk.Tags.update_type
      method value_pos : Gtk.Tags.position
    end
  val scale :
    Gtk.Tags.orientation ->
    ?adjustment:GData.adjustment ->
    ?digits:int ->
    ?draw_value:bool ->
    ?value_pos:Gtk.Tags.position ->
    ?inverted:bool ->
    ?update_policy:Gtk.Tags.update_type ->
    ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GRange.scale
  val scrollbar :
    Gtk.Tags.orientation ->
    ?adjustment:GData.adjustment ->
    ?inverted:bool ->
    ?update_policy:Gtk.Tags.update_type ->
    ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GRange.range
  class ruler :
    ([> Gtk.ruler ] as 'a) Gtk.obj ->
    object
      val obj : 'a Gtk.obj
      method as_widget : Gtk.widget Gtk.obj
      method coerce : GObj.widget
      method connect : GObj.widget_signals
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method event : GObj.event_ops
      method get_oid : int
      method lower : float
      method max_size : float
      method misc : GObj.misc_ops
      method position : float
      method set_lower : float -> unit
      method set_max_size : float -> unit
      method set_metric : Gtk.Tags.metric_type -> unit
      method set_position : float -> unit
      method set_upper : float -> unit
      method upper : float
    end
  val ruler :
    Gtk.Tags.orientation ->
    ?metric:Gtk.Tags.metric_type ->
    ?lower:float ->
    ?upper:float ->
    ?max_size:float ->
    ?position:float ->
    ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GRange.ruler
end