let proximity_in : ([>`widget], GdkEvent.Proximity.t -> bool) t = { name = "proximity_in_event"; classe = `widget; marshaller = marshal }