Type Definition GetInputFocusCookie
clipboard_x11
type GetInputFocusCookie<'a> = Cookie<'a, xcb_get_input_focus_cookie_t>;