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