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