sig
  val cast : 'a Gobject.obj -> Gtk.tips_query Gtk.obj
  module P :
    sig
      val caller :
        ([> `tipsquery ], Gtk.widget Gtk.obj option) Gobject.property
      val emit_always : ([> `tipsquery ], bool) Gobject.property
      val label_inactive : ([> `tipsquery ], string) Gobject.property
      val label_no_tip : ([> `tipsquery ], string) Gobject.property
    end
  module S :
    sig
      val start_query : ([> `tipsquery ], unit -> unit) GtkSignal.t
      val stop_query : ([> `tipsquery ], unit -> unit) GtkSignal.t
      val widget_entered :
        ([> `tipsquery ],
         Gtk.widget Gtk.obj option -> text:string -> privat:string -> unit)
        GtkSignal.t
      val widget_selected :
        ([> `tipsquery ],
         Gtk.widget Gtk.obj option ->
         text:string -> privat:string -> GdkEvent.Button.t -> bool)
        GtkSignal.t
    end
  val create : Gtk.tips_query Gobject.param list -> Gtk.tips_query Gtk.obj
  external start_query : [> `tipsquery ] Gtk.obj -> unit
    = "ml_gtk_tips_query_start_query"
  external stop_query : [> `tipsquery ] Gtk.obj -> unit
    = "ml_gtk_tips_query_stop_query"
  val make_params :
    cont:(([> `tipsquery ] as 'a) Gobject.param list -> 'b) ->
    'a Gobject.param list ->
    ?caller:Gtk.widget Gtk.obj ->
    ?emit_always:bool -> ?label_inactive:string -> ?label_no_tip:string -> 'b
end