sig
  val cast : 'a Gobject.obj -> Gtk.progress_bar Gtk.obj
  module P :
    sig
      val fraction : ([> `progressbar ], float) Gobject.property
      val inverted : ([> `progressbar ], bool) Gobject.property
      val show_text : ([> `progressbar ], bool) Gobject.property
      val pulse_step : ([> `progressbar ], float) Gobject.property
      val text : ([> `progressbar ], string) Gobject.property
      val ellipsize :
        ([> `progressbar ], PangoEnums.ellipsize_mode) Gobject.property
    end
  val create :
    Gtk.progress_bar Gobject.param list -> Gtk.progress_bar Gtk.obj
  external pulse : [> `progressbar ] Gtk.obj -> unit
    = "ml_gtk_progress_bar_pulse"
  val make_params :
    cont:(([> `progressbar ] as 'a) Gobject.param list -> 'b) ->
    'a Gobject.param list -> ?pulse_step:float -> 'b
end