Type Definition gdk_x11_sys::xlib::XLeaveWindowEvent

type XLeaveWindowEvent = XCrossingEvent;