val unsafe_copy : Gpointer.boxed -> [< Gdk.Tags.event_type ] Gdk.eventval copy : [< Gdk.Tags.event_type ] as 'a Gdk.event -> 'a Gdk.eventval get_type : 'a Gdk.event -> 'aval get_window : 'a Gdk.event -> Gdk.windowval 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 -> int32val create : [< Gdk.Tags.event_type ] as 'a -> 'a Gdk.eventval 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