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