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