val unsafe_copy : Gpointer.boxed -> [< Gdk.Tags.event_type ] Gdk.event
val copy : [< Gdk.Tags.event_type ] as 'a Gdk.event -> 'a Gdk.event
val get_type : 'a Gdk.event -> 'a
val get_window : 'a Gdk.event -> Gdk.window
val get_send_event : 'a Gdk.event -> bool
type timed
= [
| `MOTION_NOTIFY |
| `BUTTON_PRESS |
| `TWO_BUTTON_PRESS |
| `THREE_BUTTON_PRESS |
| `BUTTON_RELEASE |
| `SCROLL |
| `KEY_PRESS |
| `KEY_RELEASE |
| `ENTER_NOTIFY |
| `LEAVE_NOTIFY |
| `PROPERTY_NOTIFY |
| `SELECTION_CLEAR |
| `SELECTION_REQUEST |
| `SELECTION_NOTIFY |
| `PROXIMITY_IN |
| `PROXIMITY_OUT |
| `DRAG_ENTER |
| `DRAG_LEAVE |
| `DRAG_MOTION |
| `DRAG_STATUS |
| `DROP_START |
| `DROP_FINISHED |
]
val get_time : [< timed ] Gdk.event -> int32
val create : [< Gdk.Tags.event_type ] as 'a -> 'a Gdk.event
val set_window : 'a Gdk.event -> Gdk.window -> unit
type any
= Gdk.Tags.event_type Gdk.event
val unsafe_cast : [< Gdk.Tags.event_type ] Gdk.event -> [< Gdk.Tags.event_type ] Gdk.event
val cast : kind:[< Gdk.Tags.event_type ] as 'a list -> any -> 'a Gdk.event
module Focus : sig ... end