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