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