([> Gtk.ui_manager ] as 'b) Gtk.obj ->
object ('a)
  val after : bool
  val obj : 'b Gtk.obj
  method actions_changed : callback:(unit -> unit) -> GtkSignal.id
  method add_widget : callback:(GObj.widget -> unit) -> GtkSignal.id
  method after : 'a
  method connect_proxy :
    callback:(GAction.action -> GObj.widget -> unit) -> GtkSignal.id
  method disconnect_proxy :
    callback:(GAction.action -> GObj.widget -> unit) -> GtkSignal.id
  method notify_add_tearoffs : callback:(bool -> unit) -> GtkSignal.id
  method notify_ui : callback:(string -> unit) -> GtkSignal.id
  method post_activate : callback:(GAction.action -> unit) -> GtkSignal.id
  method pre_activate : callback:(GAction.action -> unit) -> GtkSignal.id
end