GdkEvent.Proximity
type t
= [ `PROXIMITY_IN | `PROXIMITY_OUT ] Gdk.event
val cast : any -> t
val time : [< timed ] Gdk.event -> int32
val device : t -> Gdk.device