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