sig
  external get_current_time : unit -> int32 = "ml_gtk_get_current_event_time"
  external get_current : unit -> GdkEvent.any = "ml_gtk_get_current_event"
  external get_widget : 'a Gdk.event -> Gtk.widget Gtk.obj
    = "ml_gtk_get_event_widget"
  external propagate : [> `widget ] Gtk.obj -> 'a Gdk.event -> unit
    = "ml_gtk_propagate_event"
end