Type Definition GrabPointerCookie
clipboard_x11
type GrabPointerCookie<'a> = Cookie<'a, xcb_grab_pointer_cookie_t>;