sig
  external dest_set :
    [> `widget ] Gtk.obj ->
    flags:Gtk.Tags.dest_defaults list ->
    targets:Gtk.target_entry array ->
    actions:Gdk.Tags.drag_action list -> unit = "ml_gtk_drag_dest_set"
  external dest_unset : [> `widget ] Gtk.obj -> unit
    = "ml_gtk_drag_dest_unset"
  external finish :
    Gdk.drag_context -> success:bool -> del:bool -> time:int32 -> unit
    = "ml_gtk_drag_finish"
  external get_data :
    [> `widget ] Gtk.obj ->
    Gdk.drag_context -> target:Gdk.atom -> time:int32 -> unit
    = "ml_gtk_drag_get_data"
  external get_source_widget : Gdk.drag_context -> Gtk.widget Gtk.obj
    = "ml_gtk_drag_get_source_widget"
  external highlight : [> `widget ] Gtk.obj -> unit = "ml_gtk_drag_highlight"
  external unhighlight : [> `widget ] Gtk.obj -> unit
    = "ml_gtk_drag_unhighlight"
  external set_icon_widget :
    Gdk.drag_context ->
    [> `widget ] Gtk.obj -> hot_x:int -> hot_y:int -> unit
    = "ml_gtk_drag_set_icon_widget"
  external set_icon_default : Gdk.drag_context -> unit
    = "ml_gtk_drag_set_icon_default"
  external source_set :
    [> `widget ] Gtk.obj ->
    ?modi:Gdk.Tags.modifier list ->
    targets:Gtk.target_entry array ->
    actions:Gdk.Tags.drag_action list -> unit = "ml_gtk_drag_source_set"
  external source_unset : [> `widget ] Gtk.obj -> unit
    = "ml_gtk_drag_source_unset"
end