Module Gdk.Proximity_event

class type proximity_event_t = object ... end
class proximity_event : [ `proximity_event | `event ] Gobject.obj -> proximity_event_t